| 007 情報学・情報科学 |
Formal Methods and Software Engineering (Lecture Notes in Computer Science, 6991) |
Springer |
978-3-642-24558-9 |
| 007 情報学・情報科学 |
Formal Methods and Software Engineering (Lecture Notes in Computer Science, 7635) |
Springer |
978-3-642-34280-6 |
| 007 情報学・情報科学 |
Formal Methods for Components and Objects (Lecture Notes in Computer Science, 3657) |
Springer |
978-3-540-29131-2 |
| 007 情報学・情報科学 |
Formal Methods for Components and Objects (Lecture Notes in Computer Science, 6957) |
Springer |
978-3-642-25270-9 |
| 007 情報学・情報科学 |
Formal Methods for Eternal Networked Software Systems (Lecture Notes in Computer Science, 6659) |
Springer |
978-3-642-21454-7 |
| 007 情報学・情報科学 |
Formal Methods for Industrial Critical Systems (Lecture Notes in Computer Science, 6959) |
Springer |
978-3-642-24430-8 |
| 007 情報学・情報科学 |
Formal Methods for Industrial Critical Systems (Lecture Notes in Computer Science, 7437) |
Springer |
978-3-642-32468-0 |
| 007 情報学・情報科学 |
Formal Methods for Mobile Computing (Lecture Notes in Computer Science, 3465) |
Springer |
978-3-540-25697-7 |
| 007 情報学・情報科学 |
Formal Methods for Model-Driven Engineering (Lecture Notes in Computer Science, 7320) |
Springer |
978-3-642-30981-6 |
| 007 情報学・情報科学 |
Formal Methods for Open Object-Based Distributed Systems (Lecture Notes in Computer Science, 3535) |
Springer |
978-3-540-26181-0 |
| 007 情報学・情報科学 |
Formal Methods in Software and Systems Modeling (Lecture Notes in Computer Science, 3393) |
Springer |
978-3-540-24936-8 |
| 007 情報学・情報科学 |
Formal Methods, Foundations and Applications (Lecture Notes in Computer Science, 7021) |
Springer |
978-3-642-25031-6 |
| 007 情報学・情報科学 |
Formal Methods: Foundations and Applications (Lecture Notes in Computer Science, 6527) |
Springer |
978-3-642-19828-1 |
| 007 情報学・情報科学 |
Formal Methods: Foundations and Applications (Lecture Notes in Computer Science, 7498) |
Springer |
978-3-642-33295-1 |
| 007 情報学・情報科学 |
Formal Modeling and Analysis of Timed Systems (Lecture Notes in Computer Science, 3829) |
Springer |
978-3-540-30946-8 |
| 007 情報学・情報科学 |
Formal Modeling and Analysis of Timed Systems (Lecture Notes in Computer Science, 6919) |
Springer |
978-3-642-24309-7 |
| 007 情報学・情報科学 |
Formal Modeling and Analysis of Timed Systems (Lecture Notes in Computer Science, 7595) |
Springer |
978-3-642-33364-4 |
| 007 情報学・情報科学 |
Formal Modeling: Actors, Open Systems, Biological Systems (Lecture Notes in Computer Science, 7000) |
Springer |
978-3-642-24932-7 |
| 007 情報学・情報科学 |
Formal Techniques for Computer Systems and Business Processes (Lecture Notes in Computer Science, 3670) |
Springer |
978-3-540-28701-8 |
| 007 情報学・情報科学 |
Formal Techniques for Distributed Systems (Lecture Notes in Computer Science, 6722) |
Springer |
978-3-642-21460-8 |