Web Services and Formal...
Mario Bravetti (Editor),
Tevfik Bultan (Editor)
Buy from $51.65
|
Principles of Cyber-Physical...
Rajeev Alur
Buy from $64.01
|
Formal Methods Teaching: 5th...
Catherine Dubois (Editor),
Pierluigi San Pietro (Editor)
Buy from $56.35
|
Formal Verification of...
David M. Russinoff
Buy from $101.83
|
Formal Specification Using Z.
David Lightfoot
Buy from $36.61
|
The Way of Z: Practical...
Jonathan Jacky
Buy from $4.00
eBook from $83.00
|
Protocols, Strands, and Logic...
Daniel Dougherty (Editor),
José Meseguer (Editor)
Buy from $75.14
eBook from $24.00
|
Dynamic Logic
David Harel,
Dexter Kozen
Buy from $68.44
|
Formal Methods in Computer...
Jiacun Wang,
William Tepfenhart
Buy from $113.65
eBook from $66.55
|
Readings in Hardware/Software...
Giovanni De Micheli (Editor),
Rolf Ernst (Editor)
Buy from $19.95
eBook from $118.00
|
From Software Engineering to...
Maurice H. ter Beek (Editor),
Alessandro Fantechi (Editor)
Buy from $51.65
eBook from $16.50
|
Descriptional Complexity of...
Jürgensen (Editor),
Rogério Reis (Editor)
Buy from $51.12
eBook from $16.50
|
Lectures on Formal Methods...
Ed Brinksma (Editor),
Holger Hermanns (Editor)
Buy from $51.65
eBook from $16.50
|
Challenges for Action Theories
Michael Thielscher
Buy from $51.65
eBook from $16.50
|
Specification, Algebra, and...
Shusaku Iida (Editor),
José Meseguer (Editor)
Buy from $51.65
eBook from $16.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $51.65
eBook from $16.50
|
Formal Verification of Object...
Bernhard Beckert (Editor),
Claude Marché (Editor)
Buy from $51.65
eBook from $16.50
|
Process Algebra for Parallel...
Michael Alexander (Editor),
William Gardner (Editor)
Buy from $74.19
|
Computer Performance...
Mauro Iacono (Editor),
Marco Scarpa (Editor)
Buy from $75.91
eBook from $25.50
|
NASA Formal Methods: 14th...
Jyotirmoy V. Deshmukh (Editor),
Klaus Havelund (Editor)
Buy from $101.13
eBook from $38.70
|
From Object-Orientation to...
Olaf Owe (Editor),
Stein Krogdahl (Editor)
Buy from $51.65
eBook from $16.50
|
Formal Methods for Components...
Frank S De Boer (Editor),
Marcello M Bonsangue (Editor)
Buy from $51.65
eBook from $16.50
|
Fm'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy from $103.32
eBook from $29.70
|
Software Specification...
Marc Frappier (Editor),
Henri Habrias (Editor)
Buy from $94.42
eBook from $29.70
|
