Complex Data Analytics with...
Rokia Missaoui (Editor),
Léonard Kwuida (Editor)
Buy from £143.98
eBook from £41.72
|
Formal Verification of...
David M. Russinoff
Buy from £82.62
eBook from £26.91
|
Formal Methods in Computer...
Jiacun Wang
Buy from £177.44
|
Formal Verification of...
David M Russinoff,
J Strother Moore (Foreword by)
Buy from £84.73
eBook from £21.97
|
Principles of Cyber-Physical...
Rajeev Alur
Buy from £22.23
|
Formal Methods: Industrial...
Jean-Louis Boulanger (Editor)
Buy from £135.75
|
Formal and Practical Aspects...
Phan Cong-Vinh (Editor)
Buy from £87.67
|
Teamwork in Multi-Agent...
Barbara Dunin-Keplicz,
Rineke Verbrugge
Buy from £39.98
|
Communicating Embedded...
Claude Jard (Editor),
Olivier H Roux (Editor)
Buy from £134.33
|
Formal Methods: State of the...
Paul Boca (Editor),
Prof. Jonathan P Bowen (Editor)
Buy from £5.96
eBook from £36.78
|
Process Algebra for Parallel...
Michael Alexander (Editor),
William Gardner, PhD (Editor)
Buy from £25.51
|
Modeling and Verification of...
Nicolas Navet (Editor),
Stephan Merz (Editor)
Buy from £58.19
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy from £73.84
eBook from £79.77
|
Design Patterns Formalization...
Toufik Taibi
Buy from £63.00
|
Modeling and Verification...
Doron Drusinsky
Buy from £45.20
eBook from £67.43
|
Modern Formal Methods and...
Hossam A Gabbar (Editor)
Buy from £30.43
eBook from £26.91
|
Symbolic Simulation Methods...
Robert B Jones
Buy from £18.89
|
Formal Techniques for...
Myungchul Kim (Editor),
Byoungmoon Chin (Editor)
Buy from £123.48
eBook from £51.59
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy from £26.33
eBook from £24.44
|
Cafe: An Industrial-Strength...
Kokichi Futatsugi,
A T Nakagawa (Editor)
Buy from £20.98
eBook from £96.26
|
Dynamic Logic
David Harel,
Dexter Kozen
Buy from £43.56
|
Formal Methods for...
Tommaso Bolognesi (Editor),
Diego Latella (Editor)
Buy from £138.61
|
Domain Modeling-Based...
Ruqian Lu,
Zhi Jin
Buy from £177.43
eBook from £51.59
|
Computer-Aided Reasoning: An...
Matt Kaufmann,
Panagiotis Manolios
Buy from £83.82
eBook from £78.74
|
