Formal Methods and Software...
Stephan Merz (Editor),
Jun Pang (Editor)
Buy new from $59.87
eBook from $16.50
|
Formal Techniques for Safety...
Cyrille Artho (Editor),
Peter Csaba Ölveczky (Editor)
Buy new from $60.65
eBook from $16.50
|
FM 2014: Formal Methods: 19th...
Cliff Jones (Editor),
Pekka Pihlajasaari (Editor)
Buy new from $112.32
eBook from $29.70
|
Specification, Algebra, and...
Shusaku Iida (Editor),
José Meseguer (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Methods for Industrial...
Michael Dierkes (Editor),
Charles Pecheur (Editor)
Buy new from $55.96
eBook from $15.00
|
Theories of Programming and...
Zhiming Liu (Editor),
Jim Woodcock (Editor)
Buy new from $60.57
eBook from $16.50
|
Formal Methods for Dynamical...
Marco Bernardo (Editor),
Erik de Vink (Editor)
Buy new from $53.84
eBook from $15.00
|
Integrated Formal Methods:...
Einar Broch Johnsen (Editor),
Luigia Petre (Editor)
Buy new from $60.65
eBook from $16.50
|
Symbolic Simulation Methods...
Robert B Jones
Buy new from $112.32
eBook from $29.70
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Methods and Software...
Toshiaki Aoki (Editor),
Kenji Taguchi (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Verification of Object...
Bernhard Beckert (Editor),
Ferruccio Damiani (Editor)
Buy new from $55.96
eBook from $15.00
|
Integrated Formal Methods:...
John Derrick (Editor),
Stefania Gnesi (Editor)
Buy new from $60.65
eBook from $16.50
|
Software Engineering and...
Gilles Barthe (Editor),
Alberto Pardo (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Grammar: 14th...
Philippe de Groote (Editor),
Markus Egg (Editor)
Buy new from $58.64
eBook from $16.50
|
Formal Verification of Object...
Bernhard Beckert (Editor),
Claude Marché (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Methods and Software...
Jin Song Dong (Editor),
Huibiao Zhu (Editor)
Buy new from $112.32
eBook from $29.70
|
Formal Methods: State of the...
Paul Boca (Editor),
Prof. Jonathan P Bowen (Editor)
Buy new from $112.32
eBook from $44.70
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy new from $89.86
eBook from $96.95
|
Modeling and Verification...
Doron Drusinsky
Buy new from $70.63
eBook from $81.95
|
Modern Formal Methods and...
Hossam A Gabbar (Editor)
Buy new from $84.47
eBook from $32.70
|
From Object-Orientation to...
Olaf Owe (Editor),
Stein Krogdahl (Editor)
Buy new from $60.57
eBook from $16.50
|
Formal Approaches to Software...
Andreas Ulrich (Editor)
Buy new from $60.57
eBook from $16.50
|
Lectures on Formal Methods...
Ed Brinksma (Editor),
Holger Hermanns (Editor)
Buy new from $60.57
eBook from $16.50
|
