Integrated Formal Methods:...
Maurice H. ter Beek (Editor),
Rosemary Monahan (Editor)
Buy new from $79.83
eBook from $25.50
|
Software Engineering and...
Carla Ferreira (Editor),
Tim A. C. Willemse (Editor)
Buy new from $48.28
eBook from $21.00
|
Modeling Complex Processes...
Christina Kl?ver,
J?rgen Kl?ver
Buy new from $79.83
eBook from $25.50
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy new from $56.35
eBook from $18.00
|
Formal Methods and Software...
Toshiaki Aoki (Editor),
Kenji Taguchi (Editor)
Buy new from $51.65
eBook from $16.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $51.65
eBook from $16.50
|
Descriptional Complexity of...
Andreas Malcher (Editor),
Luca Prigioniero (Editor)
Buy new from $122.11
eBook from $38.70
|
Dependable Software...
Wei Dong (Editor),
Jean-Pierre Talpin (Editor)
Buy new from $65.75
eBook from $21.00
|
Integrated Formal Methods:...
Einar Broch Johnsen (Editor),
Luigia Petre (Editor)
Buy new from $51.65
eBook from $16.50
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy new from $42.26
eBook from $13.50
|
Formal Approaches to Software...
Andreas Ulrich (Editor)
Buy new from $51.65
eBook from $16.50
|
Integrated Formal Methods:...
John Derrick (Editor),
Stefania Gnesi (Editor)
Buy new from $51.65
eBook from $16.50
|
Integrated Formal Methods:...
Paula Herber (Editor),
Anton Wijs (Editor)
Buy new from $99.91
eBook from $35.70
|
FM'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy new from $103.32
eBook from $29.70
|
NASA Formal Methods: 17th...
Aaron Dutle (Editor),
Laura Humphrey (Editor)
Buy new from $131.50
eBook from $38.70
|
Real Time and Such: Essays...
Susanne Graf (Editor),
Paul Pettersson (Editor)
Buy new from $51.65
eBook from $16.50
|
Formal Methods: Foundations...
S?rgio Campos (Editor),
Marius Minea (Editor)
Buy new from $56.35
eBook from $18.00
|
NASA Formal Methods: 15th...
Kristin Yvonne Rozier (Editor),
Swarat Chaudhuri (Editor)
Buy new from $103.32
eBook from $29.70
|
Software Engineering and...
Radu Calinescu (Editor),
Corina S. Pasareanu (Editor)
Buy new from $84.53
eBook from $27.00
|
Formal Methods for Industrial...
Jan Friso Groote (Editor),
Marieke Huisman (Editor)
Buy new from $75.14
eBook from $24.00
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy new from $98.42
eBook from $96.95
|
Formal Methods: State of the...
Paul Boca (Editor),
Jonathan P Bowen (Editor)
Buy new from $103.32
eBook from $44.70
|
Software Engineering and...
Antonio Cerone (Editor),
Marco Autili (Editor)
Buy new from $51.65
eBook from $16.50
|
Descriptional Complexity of...
Yo-Sub Han (Editor),
Sang-Ki Ko (Editor)
Buy new from $61.05
eBook from $19.50
|
