Complex Data Analytics with...
Rokia Missaoui (Editor),
Léonard Kwuida (Editor)
Buy new from $175.00
eBook from $50.70
|
Formal Verification of...
David M. Russinoff
Buy new from $143.48
eBook from $32.70
|
Formal Methods in...
Sara Eloy (Editor),
David Leite Viana (Editor)
Buy new from $328.40
eBook from $47.70
|
Java Software Development...
Néstor Cataño Collazos,
Luciano Baresi (Editor)
Buy new from $199.77
|
Formal Methods in Computer...
Jiacun Wang
Buy new from $215.67
|
Principles of Cyber-Physical...
Rajeev Alur
Buy new from $186.02
|
Formal Methods in...
Zhiwu Li (Editor),
Abdulrahman M Al-Ahmari (Editor)
Buy new from $205.27
|
Formal Methods: Industrial...
Jean-Louis Boulanger (Editor)
Buy new from $166.60
|
Formal and Practical Aspects...
Phan Cong-Vinh (Editor)
Buy new from $205.27
|
Teamwork in Multi-Agent...
Barbara Dunin-Keplicz,
Rineke Verbrugge
Buy new from $101.83
|
Communicating Embedded...
Claude Jard (Editor),
Olivier H Roux (Editor)
Buy new from $164.85
|
Formal Methods: State of the...
Paul Boca (Editor),
Prof. Jonathan P Bowen (Editor)
Buy new from $112.32
eBook from $44.70
|
Process Algebra for Parallel...
Michael Alexander (Editor),
William Gardner, PhD (Editor)
Buy new from $180.69
|
Modeling and Verification of...
Nicolas Navet (Editor),
Stephan Merz (Editor)
Buy new from $249.76
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy new from $89.86
eBook from $96.95
|
Design Patterns Formalization...
Toufik Taibi
Buy new from $81.37
|
Modeling and Verification...
Doron Drusinsky
Buy new from $100.55
eBook from $81.95
|
Modern Formal Methods and...
Hossam A Gabbar (Editor)
Buy new from $84.47
eBook from $32.70
|
Symbolic Simulation Methods...
Robert B Jones
Buy new from $39.43
|
Formal Techniques for...
Myungchul Kim (Editor),
Byoungmoon Chin (Editor)
Buy new from $154.37
eBook from $62.70
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy new from $106.82
eBook from $29.70
|
Cafe: An Industrial-Strength...
Kokichi Futatsugi,
A T Nakagawa (Editor)
Buy new from $25.50
eBook from $117.00
|
Dynamic Logic
David Harel,
Dexter Kozen
Buy new from $159.12
|
Formal Methods for...
Tommaso Bolognesi (Editor),
Diego Latella (Editor)
Buy new from $174.88
|
