Complex Data Analytics with...
Rokia Missaoui (Editor),
Léonard Kwuida (Editor)
Buy new from £143.26
eBook from £41.51
|
Formal Verification of...
David M. Russinoff
Buy new from £104.12
eBook from £26.77
|
Formal Methods in Computer...
Jiacun Wang
Buy new from £176.55
|
Principles of Cyber-Physical...
Rajeev Alur
Buy new from £160.32
|
Formal Methods in...
Zhiwu Li (Editor),
Abdulrahman M Al-Ahmari (Editor)
Buy new from £168.04
|
Formal Methods: Industrial...
Jean-Louis Boulanger (Editor)
Buy new from £136.38
|
Formal and Practical Aspects...
Phan Cong-Vinh (Editor)
Buy new from £168.04
|
Teamwork in Multi-Agent...
Barbara Dunin-Keplicz,
Rineke Verbrugge
Buy new from £83.36
|
Communicating Embedded...
Claude Jard (Editor),
Olivier H Roux (Editor)
Buy new from £134.95
|
Formal Methods: State of the...
Paul Boca (Editor),
Prof. Jonathan P Bowen (Editor)
Buy new from £91.95
eBook from £36.60
|
Process Algebra for Parallel...
Michael Alexander (Editor),
William Gardner, PhD (Editor)
Buy new from £128.76
|
Modeling and Verification of...
Nicolas Navet (Editor),
Stephan Merz (Editor)
Buy new from £204.46
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy new from £73.47
eBook from £79.37
|
Design Patterns Formalization...
Toufik Taibi
Buy new from £64.84
|
Modeling and Verification...
Doron Drusinsky
Buy new from £101.53
eBook from £67.09
|
Modern Formal Methods and...
Hossam A Gabbar (Editor)
Buy new from £98.66
eBook from £26.77
|
Symbolic Simulation Methods...
Robert B Jones
Buy new from £46.34
|
Formal Techniques for...
Myungchul Kim (Editor),
Byoungmoon Chin (Editor)
Buy new from £122.86
eBook from £51.33
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy new from £87.45
eBook from £24.32
|
Cafe: An Industrial-Strength...
Kokichi Futatsugi,
A T Nakagawa (Editor)
Buy new from £20.88
eBook from £95.78
|
Dynamic Logic
David Harel,
Dexter Kozen
Buy new from £98.90
|
Formal Methods for...
Tommaso Bolognesi (Editor),
Diego Latella (Editor)
Buy new from £137.92
|
Domain Modeling-Based...
Ruqian Lu,
Zhi Jin
Buy new from £176.54
eBook from £51.33
|
Formal Methods for Protocol...
Jianping Wu (Editor),
Samuel T Chanson (Editor)
Buy new from £176.54
eBook from £51.33
|
