The Way of Z: Practical...
Jonathan Jacky
Buy from $9.90
eBook from $83.00
|
Principles of Cyber-Physical...
Rajeev Alur
Buy from $62.00
eBook from $54.99
|
Formal Methods for Components...
Frank S De Boer (Editor),
Marcello M Bonsangue (Editor)
Buy from $60.65
eBook from $16.50
|
Protocols, Strands, and Logic...
Daniel Dougherty (Editor),
Jos? Meseguer (Editor)
Buy from $84.14
eBook from $24.00
|
Formal Verification of...
David M. Russinoff
Buy from $102.93
eBook from $26.70
|
Formal Methods in Computer...
Jiacun Wang
Buy from $112.76
eBook from $66.55
|
Modeling and Verification...
Doron Drusinsky
Buy from $54.94
eBook from $81.95
|
Readings in Hardware/Software...
Giovanni De Micheli (Editor),
Rolf Ernst (Editor)
Buy from $26.95
eBook from $118.00
|
From Software Engineering to...
Maurice H. ter Beek (Editor),
Alessandro Fantechi (Editor)
Buy from $60.65
eBook from $16.50
|
Practical UML Statecharts in...
Miro Samek, PH.D.
Buy from $18.20
eBook from $44.00
|
Descriptional Complexity of...
J?rgensen (Editor),
Rog?rio Reis (Editor)
Buy from $58.12
eBook from $16.50
|
Lectures on Formal Methods...
Ed Brinksma (Editor),
Holger Hermanns (Editor)
Buy from $25.74
eBook from $16.50
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy from $33.33
eBook from $29.70
|
Challenges for Action Theories
Michael Thielscher
Buy from $56.56
eBook from $16.50
|
Modern Formal Methods and...
Hossam A. Gabbar (Editor)
Buy from $36.73
eBook from $32.70
|
Specification, Algebra, and...
Shusaku Iida (Editor),
Jos? Meseguer (Editor)
Buy from $60.65
eBook from $16.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $60.65
eBook from $16.50
|
Formal Verification of Object...
Bernhard Beckert (Editor),
Claude March? (Editor)
Buy from $55.96
eBook from $15.00
|
Computer Performance...
Mauro Iacono (Editor),
Marco Scarpa (Editor)
Buy from $88.84
eBook from $25.50
|
Domain Modeling-Based...
Ruqian Lu,
Zhi Jin
Buy from $215.66
eBook from $62.70
|
Algebraic Foundations of...
Egidio Astesiano (Editor),
Hans-Jorg Kreowski (Editor)
Buy from $60.65
eBook from $16.50
|
NASA Formal Methods: 14th...
Jyotirmoy V. Deshmukh (Editor),
Klaus Havelund (Editor)
Buy from $91.13
eBook from $38.70
|
From Object-Orientation to...
Olaf Owe (Editor),
Stein Krogdahl (Editor)
Buy from $60.65
eBook from $16.50
|
