Complex Data Analytics with...
Rokia Missaoui (Editor),
Léonard Kwuida (Editor)
Buy from $126.10
eBook from $50.70
|
Formal Verification of...
David M. Russinoff
Buy from $122.41
eBook from $35.70
|
Formal Methods in...
Sara Eloy (Editor),
David Leite Viana (Editor)
Buy from $149.76
eBook from $47.70
|
Formal Methods in Computer...
Jiacun Wang,
William Tepfenhart
Buy from $112.76
|
Formal Verification of...
David M Russinoff,
J Strother Moore (Foreword by)
Buy from $117.96
eBook from $26.70
|
Practical UML Statecharts in...
Miro Samek
Buy from $165.32
|
Principles of Cyber-Physical...
Rajeev Alur
Buy from $109.38
eBook from $54.99
|
Formal Methods in...
Zhiwu Li (Editor),
Abdulrahman M Al-Ahmari (Editor)
Buy from $205.27
|
Formal Methods for Mining...
Gemma C Garriga
Buy from $79.14
eBook from $29.70
|
Industrial Use of Formal...
Jean-Louis Boulanger (Editor)
Buy from $129.21
|
Formal Methods: Industrial...
Jean-Louis Boulanger (Editor)
Buy from $130.46
|
Formal and Practical Aspects...
Phan Cong-Vinh (Editor)
Buy from $81.93
|
Teamwork in Multi-Agent...
Barbara Dunin-Keplicz,
Rineke Verbrugge
Buy from $105.33
|
Communicating Embedded...
Claude Jard (Editor),
Olivier H Roux (Editor)
Buy from $163.27
|
Formal Methods: State of the...
Paul Boca (Editor),
Prof. Jonathan P Bowen (Editor)
Buy from $30.71
eBook from $44.70
|
Process Algebra for Parallel...
Michael Alexander (Editor),
William Gardner, PhD (Editor)
Buy from $121.57
|
Modeling and Verification of...
Nicolas Navet (Editor),
Stephan Merz (Editor)
Buy from $247.33
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy from $77.68
eBook from $96.95
|
Design Patterns Formalization...
Toufik Taibi
Buy from $47.06
|
Modeling and Verification...
Doron Drusinsky
Buy from $54.94
eBook from $81.95
|
Modern Formal Methods and...
Hossam A Gabbar (Editor)
Buy from $36.73
eBook from $32.70
|
Formal Aspects in Security...
Theo Dimitrakos (Editor),
Fabio Martinelli (Editor)
Buy from $82.16
|
Symbolic Simulation Methods...
Robert B Jones
Buy from $54.83
|
Formal Techniques for...
Myungchul Kim (Editor),
Byoungmoon Chin (Editor)
Buy from $127.03
eBook from $62.70
|
