Formal Methods and Software...
Michael Butler (Editor),
Sylvain Conchon (Editor)
Buy from £49.52
eBook from £13.49
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy from £38.17
eBook from £11.04
|
NASA Formal Methods: 7th...
Klaus Havelund (Editor),
Gerard Holzmann (Editor)
Buy from £49.59
eBook from £13.49
|
Formal Methods and Software...
Stephan Merz (Editor),
Jun Pang (Editor)
Buy from £48.95
eBook from £13.49
|
Formal Techniques for Safety...
Cyrille Artho (Editor),
Peter Csaba Ölveczky (Editor)
Buy from £49.59
eBook from £13.49
|
FM 2014: Formal Methods: 19th...
Cliff Jones (Editor),
Pekka Pihlajasaari (Editor)
Buy from £91.83
eBook from £24.28
|
Specification, Algebra, and...
Shusaku Iida (Editor),
José Meseguer (Editor)
Buy from £49.59
eBook from £13.49
|
Formal Methods for Industrial...
Michael Dierkes (Editor),
Charles Pecheur (Editor)
Buy from £45.75
eBook from £12.27
|
Theories of Programming and...
Zhiming Liu (Editor),
Jim Woodcock (Editor)
Buy from £49.52
eBook from £13.49
|
Formal Methods for Dynamical...
Marco Bernardo (Editor),
Erik de Vink (Editor)
Buy from £43.59
eBook from £12.27
|
Integrated Formal Methods:...
Einar Broch Johnsen (Editor),
Luigia Petre (Editor)
Buy from £45.16
eBook from £13.49
|
Symbolic Simulation Methods...
Robert B Jones
Buy from £91.83
eBook from £24.28
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from £49.59
eBook from £13.49
|
Formal Methods and Software...
Toshiaki Aoki (Editor),
Kenji Taguchi (Editor)
Buy from £49.59
eBook from £13.49
|
Formal Verification of Object...
Bernhard Beckert (Editor),
Ferruccio Damiani (Editor)
Buy from £45.75
eBook from £12.27
|
Integrated Formal Methods:...
John Derrick (Editor),
Stefania Gnesi (Editor)
Buy from £49.59
eBook from £13.49
|
Software Engineering and...
Gilles Barthe (Editor),
Alberto Pardo (Editor)
Buy from £49.59
eBook from £13.49
|
Formal Grammar: 14th...
Philippe de Groote (Editor),
Markus Egg (Editor)
Buy from £49.41
eBook from £13.49
|
Formal Verification of Object...
Bernhard Beckert (Editor),
Claude Marché (Editor)
Buy from £49.59
eBook from £13.49
|
Formal Methods and Software...
Jin Song Dong (Editor),
Huibiao Zhu (Editor)
Buy from £49.25
eBook from £24.28
|
Formal Methods: State of the...
Paul Boca (Editor),
Prof. Jonathan P Bowen (Editor)
Buy from £15.25
eBook from £36.55
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy from £73.47
eBook from £79.26
|
Modeling and Verification...
Doron Drusinsky
Buy from £44.92
eBook from £67.00
|
