Formal Methods in Computer...
Jiacun Wang
Buy from £90.19
eBook from £51.14
|
Formal Verification of...
David M. Russinoff
Buy from £81.63
eBook from £21.59
|
The Way of Z: Practical...
Jonathan Jacky
Buy from £8.01
eBook from £57.40
|
Modeling and Verification...
Doron Drusinsky
Buy from £44.42
eBook from £66.26
|
Modern Formal Methods and...
Hossam A. Gabbar (Editor)
Buy from £29.91
eBook from £26.44
|
NASA Formal Methods: 14th...
Jyotirmoy V. Deshmukh (Editor),
Klaus Havelund (Editor)
Buy from £79.01
eBook from £31.29
|
Readings in Hardware/Software...
Giovanni De Micheli (Editor),
Rolf Ernst (Editor)
Buy from £21.02
eBook from £95.41
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from £53.96
eBook from £16.98
|
Descriptional Complexity of...
Yo-Sub Han (Editor),
Gy÷rgy Vaszil (Editor)
Buy from £63.76
eBook from £20.62
|
Specification, Algebra, and...
Shusaku Iida (Editor),
Jos? Meseguer (Editor)
Buy from £49.04
eBook from £13.35
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from £49.04
eBook from £13.35
|
Formal Verification of Object...
Bernhard Beckert (Editor),
Claude March? (Editor)
Buy from £45.25
eBook from £12.13
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy from £25.88
eBook from £24.02
|
From Software Engineering to...
Maurice H. ter Beek (Editor),
Alessandro Fantechi (Editor)
Buy from £13.74
eBook from £13.35
|
Domain Modeling-Based...
Ruqian Lu,
Zhi Jin
Buy from £174.37
eBook from £50.70
|
Algebraic Foundations of...
Egidio Astesiano (Editor),
Hans-Jorg Kreowski (Editor)
Buy from £39.24
eBook from £13.35
|
From Object-Orientation to...
Olaf Owe (Editor),
Stein Krogdahl (Editor)
Buy from £43.87
eBook from £13.35
|
FM'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy from £11.86
eBook from £24.02
|
Lectures on Formal Methods...
Ed Brinksma (Editor),
Holger Hermanns (Editor)
Buy from £21.84
eBook from £13.35
|
Software Specification...
Marc Frappier (Editor),
Henri Habrias (Editor)
Buy from £29.37
eBook from £24.02
|
Formal Specification:...
Nimal Nissanke
Buy from £8.90
eBook from £13.35
|
Formal Methods and Software...
Michael Butler (Editor),
Sylvain Conchon (Editor)
Buy from £48.98
eBook from £13.35
|
Industrial-Strength Formal...
Michael G Hinchey (Editor),
Prof. Jonathan P Bowen (Editor)
Buy from £12.24
eBook from £38.57
|
