Principles of Cyber-Physical...
Rajeev Alur
Buy new from $133.89
eBook from $54.99
|
Software Specification Methods
Henri Habrias (Editor),
Marc Frappier (Editor)
Buy new from $43.70
|
Formal Verification of...
David M Russinoff,
J Strother Moore (Foreword by)
Buy new from $189.87
eBook from $26.70
|
Design Patterns Formalization...
Toufik Taibi
Buy new from $57.37
|
Formal Verification of...
David M. Russinoff
Buy new from $168.69
eBook from $35.70
|
Dynamic Logic
David Harel,
Dexter Kozen
Buy new from $263.16
|
Modeling and Verification...
Doron Drusinsky
Buy new from $87.75
eBook from $81.95
|
Practical UML Statecharts in...
Miro Samek
Buy new from $232.45
|
Formal Methods in Computer...
Jiacun Wang
Buy new from $157.92
|
Teamwork in Multi-Agent...
Barbara Dunin-Keplicz,
Rineke Verbrugge
Buy new from $105.33
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy new from $112.32
eBook from $29.70
|
Modern Formal Methods and...
Hossam A Gabbar (Editor)
Buy new from $116.28
eBook from $32.70
|
Formal Methods: Industrial...
Jean-Louis Boulanger (Editor)
Buy new from $135.15
|
Domain Modeling-Based...
Ruqian Lu,
Zhi Jin
Buy new from $215.66
eBook from $62.70
|
Algebraic Foundations of...
Egidio Astesiano (Editor),
Hans-Jorg Kreowski (Editor)
Buy new from $66.77
eBook from $16.50
|
Modeling and Verification of...
Nicolas Navet (Editor),
Stephan Merz (Editor)
Buy new from $249.76
|
Process Algebra for Parallel...
Michael Alexander (Editor),
William Gardner, PhD (Editor)
Buy new from $123.78
|
Communicating Embedded...
Claude Jard (Editor),
Olivier H Roux (Editor)
Buy new from $164.85
|
Formal Methods in...
Sara Eloy (Editor),
David Leite Viana (Editor)
Buy new from $149.76
eBook from $47.70
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy new from $90.64
eBook from $96.95
|
Symbolic Simulation Methods...
Robert B Jones
Buy new from $65.59
|
Complex Data Analytics with...
Rokia Missaoui (Editor),
Léonard Kwuida (Editor)
Buy new from $178.08
eBook from $50.70
|
Formal Methods in...
Zhiwu Li (Editor),
Abdulrahman M Al-Ahmari (Editor)
Buy new from $205.27
|
Industrial Use of Formal...
Jean-Louis Boulanger (Editor)
Buy new from $135.15
|
