Formal Methods for Dynamical...
Marco Bernardo (Editor),
Erik de Vink (Editor)
Buy from $46.96
eBook from $15.00
|
Integrated Formal Methods:...
Einar Broch Johnsen (Editor),
Luigia Petre (Editor)
Buy from $48.24
eBook from $16.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $51.65
eBook from $16.50
|
Formal Methods and Software...
Toshiaki Aoki (Editor),
Kenji Taguchi (Editor)
Buy from $51.65
eBook from $16.50
|
Integrated Formal Methods:...
John Derrick (Editor),
Stefania Gnesi (Editor)
Buy from $51.65
eBook from $16.50
|
Software Engineering and...
Gilles Barthe (Editor),
Alberto Pardo (Editor)
Buy from $51.65
eBook from $16.50
|
Formal and Practical Aspects...
Phan Cong-Vinh (Editor)
Buy from $79.78
eBook from $185.00
|
Formal Grammar: 14th...
Philippe de Groote (Editor),
Markus Egg (Editor)
Buy from $51.64
eBook from $16.50
|
Formal Methods and Software...
Jin Song Dong (Editor),
Huibiao Zhu (Editor)
Buy from $53.24
eBook from $29.70
|
Formal Methods: State of the...
Paul Boca (Editor),
Prof. Jonathan P Bowen (Editor)
Buy from $36.54
eBook from $44.70
|
Practical UML Statecharts in...
Miro Samek, PH.D.
Buy from $11.20
eBook from $41.25
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy from $97.36
eBook from $96.95
|
Design Patterns Formalization...
Toufik Taibi
Buy from $51.56
eBook from $99.95
|
Modeling and Verification...
Doron Drusinsky
Buy from $47.94
eBook from $81.95
|
Modern Formal Methods and...
Hossam A Gabbar (Editor)
Buy from $16.21
eBook from $32.70
|
From Object-Orientation to...
Olaf Owe (Editor),
Stein Krogdahl (Editor)
Buy from $47.26
eBook from $16.50
|
Formal Approaches to Software...
Andreas Ulrich (Editor)
Buy from $51.43
eBook from $16.50
|
Lectures on Formal Methods...
Ed Brinksma (Editor),
Holger Hermanns (Editor)
Buy from $20.02
eBook from $16.50
|
Readings in Hardware/Software...
Giovanni De Micheli (Editor),
Rolf Ernst (Editor)
Buy from $18.99
eBook from $118.00
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy from $25.00
eBook from $29.70
|
Software Specification...
Marc Frappier (Editor),
Henri Habrias (Editor)
Buy from $29.32
eBook from $29.70
|
Cafe: An Industrial-Strength...
Kokichi Futatsugi,
A T Nakagawa (Editor)
Buy from $18.50
eBook from $117.00
|
Domain Modeling-Based...
Ruqian Lu,
Zhi Jin
Buy from $206.66
eBook from $62.70
|
Challenges for Action Theories
Michael Thielscher
Buy from $8.06
eBook from $16.50
|
