Dynamic Logic
David Harel,
Dexter Kozen
Buy from $69.77
|
Modeling and Verification...
Doron Drusinsky
Buy from $54.94
eBook from $81.95
|
Formal Verification of...
David M. Russinoff
Buy from $129.81
eBook from $32.70
|
Formal Methods in Computer...
Jiacun Wang
Buy from $211.59
|
Formal Methods: Industrial...
Jean-Louis Boulanger (Editor)
Buy from $163.71
|
Industrial Use of Formal...
Jean-Louis Boulanger (Editor)
Buy from $165.30
|
Process Algebra for Parallel...
Michael Alexander (Editor),
William Gardner, PhD (Editor)
Buy from $31.00
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy from $31.75
eBook from $29.70
|
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 $48.53
eBook from $16.50
|
Design Patterns Formalization...
Toufik Taibi
Buy from $59.47
|
Modeling and Verification of...
Nicolas Navet (Editor),
Stephan Merz (Editor)
Buy from $108.00
|
Teamwork in Multi-Agent...
Barbara Dunin-Keplicz,
Rineke Verbrugge
Buy from $66.18
|
Communicating Embedded...
Claude Jard (Editor),
Olivier H Roux (Editor)
Buy from $162.99
|
Modern Formal Methods and...
Hossam A Gabbar (Editor)
Buy from $23.34
eBook from $32.70
|
Formal Methods: State of the...
Paul Boca (Editor),
Prof. Jonathan P Bowen (Editor)
Buy from $24.74
eBook from $44.70
|
Formal Methods in...
Sara Eloy (Editor),
David Leite Viana (Editor)
Buy from $328.40
eBook from $47.70
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy from $90.26
eBook from $96.95
|
Symbolic Simulation Methods...
Robert B Jones
Buy from $22.96
|
Formal Methods in...
Zhiwu Li (Editor),
Abdulrahman M Al-Ahmari (Editor)
Buy from $205.27
|
Complex Data Analytics with...
Rokia Missaoui (Editor),
Léonard Kwuida (Editor)
Buy from $178.08
eBook from $50.70
|
Formal Methods Fact File: VDM...
Andrew Harry
Buy from $217.29
|