Formal Methods in Computer...
Jiacun Wang
Buy from £90.11
eBook from £51.10
|
Formal Verification of...
David M. Russinoff
Buy from £81.56
eBook from £21.57
|
The Way of Z: Practical...
Jonathan Jacky
Buy from £8.00
eBook from £57.35
|
Modeling and Verification...
Doron Drusinsky
Buy from £44.39
eBook from £66.20
|
Modern Formal Methods and...
Hossam A. Gabbar (Editor)
Buy from £29.89
eBook from £26.42
|
NASA Formal Methods: 14th...
Jyotirmoy V. Deshmukh (Editor),
Klaus Havelund (Editor)
Buy from £78.94
eBook from £31.27
|
Readings in Hardware/Software...
Giovanni De Micheli (Editor),
Rolf Ernst (Editor)
Buy from £21.00
eBook from £95.33
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from £53.91
eBook from £16.97
|
Descriptional Complexity of...
Yo-Sub Han (Editor),
Gy÷rgy Vaszil (Editor)
Buy from £63.71
eBook from £20.60
|
Specification, Algebra, and...
Shusaku Iida (Editor),
Jos? Meseguer (Editor)
Buy from £49.00
eBook from £13.33
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from £49.00
eBook from £13.33
|
Formal Verification of Object...
Bernhard Beckert (Editor),
Claude March? (Editor)
Buy from £45.21
eBook from £12.12
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy from £25.85
eBook from £24.00
|
From Software Engineering to...
Maurice H. ter Beek (Editor),
Alessandro Fantechi (Editor)
Buy from £13.73
eBook from £13.33
|
Domain Modeling-Based...
Ruqian Lu,
Zhi Jin
Buy from £174.22
eBook from £50.65
|
Algebraic Foundations of...
Egidio Astesiano (Editor),
Hans-Jorg Kreowski (Editor)
Buy from £39.21
eBook from £13.33
|
From Object-Orientation to...
Olaf Owe (Editor),
Stein Krogdahl (Editor)
Buy from £43.83
eBook from £13.33
|
FM'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy from £11.85
eBook from £24.00
|
Lectures on Formal Methods...
Ed Brinksma (Editor),
Holger Hermanns (Editor)
Buy from £21.82
eBook from £13.33
|
Software Specification...
Marc Frappier (Editor),
Henri Habrias (Editor)
Buy from £29.34
eBook from £24.00
|
Formal Specification:...
Nimal Nissanke
Buy from £8.97
eBook from £13.33
|
Formal Methods and Software...
Michael Butler (Editor),
Sylvain Conchon (Editor)
Buy from £48.93
eBook from £13.33
|
Industrial-Strength Formal...
Michael G Hinchey (Editor),
Prof. Jonathan P Bowen (Editor)
Buy from £12.23
eBook from £38.54
|
