Principles of Cyber-Physical...
Rajeev Alur
Buy new from $100.26
eBook from $54.99
|
Formal Verification of...
David M. Russinoff
Buy new from $90.31
eBook from $26.70
|
Formal specification using Z
David Lightfoot
Buy new from $43.45
|
The Way of Z: Practical...
Jonathan Jacky
Buy new from $41.88
eBook from $83.00
|
Java Software Development...
N?stor Cataħo Collazos
Buy new from $37.17
|
A Study in Derived Algebraic...
Dennis Gaitsgory,
Nick Rozenblyum
Buy new from $172.83
|
Formal Methods for Components...
Frank S De Boer (Editor),
Marcello M Bonsangue (Editor)
Buy new from $60.65
eBook from $16.50
|
Software Specification Methods
Henri Habrias (Editor),
Marc Frappier (Editor)
Buy new from $43.88
|
Protocols, Strands, and Logic...
Daniel Dougherty (Editor),
Jos? Meseguer (Editor)
Buy new from $82.16
eBook from $24.00
|
Dynamic Logic
David Harel,
Dexter Kozen
Buy new from $77.44
|
Formal Methods in Computer...
Jiacun Wang
Buy new from $117.12
eBook from $66.55
|
Design Patterns Formalization...
Toufik Taibi
Buy new from $54.69
|
Modeling and Verification...
Doron Drusinsky
Buy new from $87.75
eBook from $81.95
|
Readings in Hardware/Software...
Giovanni De Micheli (Editor),
Rolf Ernst (Editor)
Buy new from $108.65
eBook from $118.00
|
From Software Engineering to...
Maurice H. ter Beek (Editor),
Alessandro Fantechi (Editor)
Buy new from $60.65
eBook from $16.50
|
Practical UML Statecharts in...
Miro Samek, PH.D.
Buy new from $73.07
eBook from $44.00
|
Deformation Theory of...
Martin Markl
Buy new from $50.52
|
Teamwork in Multi-Agent...
Barbara Dunin-Keplicz,
Rineke Verbrugge
Buy new from $105.33
|
Descriptional Complexity of...
J?rgensen (Editor),
Rog?rio Reis (Editor)
Buy new from $58.64
eBook from $16.50
|
Lectures on Formal Methods...
Ed Brinksma (Editor),
Holger Hermanns (Editor)
Buy new from $60.65
eBook from $16.50
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy new from $101.42
eBook from $29.70
|
Challenges for Action Theories
Michael Thielscher
Buy new from $60.65
eBook from $16.50
|
Modern Formal Methods and...
Hossam A. Gabbar (Editor)
Buy new from $107.01
eBook from $32.70
|
Specification, Algebra, and...
Shusaku Iida (Editor),
Jos? Meseguer (Editor)
Buy new from $60.65
eBook from $16.50
|
