Protocols, Strands, and Logic...
Daniel Dougherty (Editor),
Jos? Meseguer (Editor)
Buy new from $84.14
eBook from $24.00
|
Formal Verification of...
David M. Russinoff
Buy new from $102.04
eBook from $26.70
|
Formal Methods in Computer...
Jiacun Wang,
William Tepfenhart
Buy new from $110.97
eBook from $63.25
|
The Way of Z: Practical...
Jonathan Jacky
Buy new from $41.89
eBook from $70.99
|
Modeling and Verification...
Doron Drusinsky
Buy new from $100.55
eBook from $81.95
|
NASA Formal Methods: 14th...
Jyotirmoy V. Deshmukh (Editor),
Klaus Havelund (Editor)
Buy new from $140.50
eBook from $38.70
|
From Object-Orientation to...
Olaf Owe (Editor),
Stein Krogdahl (Editor)
Buy new from $60.65
eBook from $16.50
|
Readings in Hardware/Software...
Giovanni De Micheli (Editor),
Rolf Ernst (Editor)
Buy new from $98.65
eBook from $118.00
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $74.75
eBook from $21.00
|
Descriptional Complexity of...
Yo-Sub Han (Editor),
Gy÷rgy Vaszil (Editor)
Buy new from $81.63
eBook from $25.50
|
Specification, Algebra, and...
Shusaku Iida (Editor),
Jos? Meseguer (Editor)
Buy new from $60.65
eBook from $16.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $60.65
eBook from $16.50
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy new from $106.82
eBook from $29.70
|
From Software Engineering to...
Maurice H. ter Beek (Editor),
Alessandro Fantechi (Editor)
Buy new from $60.65
eBook from $16.50
|
Domain Modeling-Based...
Ruqian Lu,
Zhi Jin
Buy new from $215.66
eBook from $62.70
|
Algebraic Foundations of...
Egidio Astesiano (Editor),
Hans-Jorg Kreowski (Editor)
Buy new from $48.53
eBook from $16.50
|
FM'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy new from $112.32
eBook from $29.70
|
Lectures on Formal Methods...
Ed Brinksma (Editor),
Holger Hermanns (Editor)
Buy new from $60.65
eBook from $16.50
|
Software Specification...
Marc Frappier (Editor),
Henri Habrias (Editor)
Buy new from $112.32
eBook from $29.70
|
Formal Specification:...
Nimal Nissanke
Buy new from $47.56
eBook from $16.50
|
Modern Formal Methods and...
Hossam A. Gabbar (Editor)
Buy new from $118.78
eBook from $32.70
|
Formal Methods and Software...
Michael Butler (Editor),
Sylvain Conchon (Editor)
Buy new from $60.65
eBook from $16.50
|
Industrial-Strength Formal...
Michael G Hinchey (Editor),
Prof. Jonathan P Bowen (Editor)
Buy new from $39.88
eBook from $47.70
|
Formal Techniques for Safety...
Cyrille Artho (Editor),
Peter Csaba ?lveczky (Editor)
Buy new from $60.65
eBook from $16.50
|
