The Way of Z: Practical...
Jonathan Jacky
Buy from $9.90
eBook from $70.99
|
Dynamic Logic
David Harel,
Dexter Kozen
Buy from $69.77
|
Formal Verification of...
David M. Russinoff
Buy from $102.93
eBook from $26.70
|
Java Software Development...
N?stor Cata±o Collazos
Buy from $37.17
|
Formal Methods in Computer...
Jiacun Wang
Buy from $111.30
eBook from $63.25
|
Modeling and Verification...
Doron Drusinsky
Buy from $54.94
eBook from $81.95
|
NASA Formal Methods: 14th...
Jyotirmoy V. Deshmukh (Editor),
Klaus Havelund (Editor)
Buy from $102.22
eBook from $38.70
|
Formal Methods: Industrial...
Jean-Louis Boulanger (Editor)
Buy from $163.71
|
Readings in Hardware/Software...
Giovanni De Micheli (Editor),
Rolf Ernst (Editor)
Buy from $25.99
eBook from $118.00
|
Process Algebra for Parallel...
Michael Alexander (Editor),
William Gardner (Editor)
Buy from $31.00
|
Formal specification using Z
David Lightfoot
Buy from $5.42
|
Specification, Algebra, and...
Shusaku Iida (Editor),
Jos? Meseguer (Editor)
Buy from $60.65
eBook from $16.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $60.65
eBook from $16.50
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy from $31.78
eBook from $29.70
|
From Software Engineering to...
Maurice H. ter Beek (Editor),
Alessandro Fantechi (Editor)
Buy from $16.99
eBook from $16.50
|
Algebraic Foundations of...
Egidio Astesiano (Editor),
Hans-Jorg Kreowski (Editor)
Buy from $48.53
eBook from $16.50
|
From Object-Orientation to...
Olaf Owe (Editor),
Stein Krogdahl (Editor)
Buy from $54.26
eBook from $16.50
|
Design Patterns Formalization...
Toufik Taibi
Buy from $59.47
|
FM'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy from $14.67
eBook from $29.70
|
Modeling and Verification of...
Nicolas Navet (Editor),
Stephan Merz (Editor)
Buy from $107.22
|
Lectures on Formal Methods...
Ed Brinksma (Editor),
Holger Hermanns (Editor)
Buy from $27.02
eBook from $16.50
|
Teamwork in Multi-Agent...
Barbara Dunin-Keplicz,
Rineke Verbrugge
Buy from $66.18
|
Software Specification...
Marc Frappier (Editor),
Henri Habrias (Editor)
Buy from $36.32
eBook from $29.70
|
Formal Specification:...
Nimal Nissanke
Buy from $11.27
eBook from $16.50
|
