Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy new from $99.82
eBook from $29.70
|
Software Specification...
Marc Frappier (Editor),
Henri Habrias (Editor)
Buy new from $103.32
eBook from $29.70
|
Cafe: An Industrial-Strength...
Kokichi Futatsugi,
A T Nakagawa (Editor)
Buy new from $18.50
eBook from $117.00
|
Domain Modeling-Based...
Ruqian Lu,
Zhi Jin
Buy new from $206.66
eBook from $62.70
|
Challenges for Action Theories
Michael Thielscher
Buy new from $51.65
eBook from $16.50
|
Fm'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy new from $103.32
eBook from $29.70
|
Industrial-Strength Formal...
Michael G Hinchey (Editor),
Prof. Jonathan P Bowen (Editor)
Buy new from $101.86
eBook from $47.70
|
Fm'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy new from $103.32
eBook from $29.70
|
Formal Methods for Protocol...
Jianping Wu (Editor),
Samuel T Chanson (Editor)
Buy new from $206.66
eBook from $62.70
|
Algebraic Foundations of...
Egidio Astesiano (Editor),
Hans-Jorg Kreowski (Editor)
Buy new from $67.07
eBook from $16.50
|
Applied Formal Methods - Fm...
Dieter Hutter (Editor),
Werner Stephan (Editor)
Buy new from $51.65
eBook from $16.50
|
Formal Specification:...
Nimal Nissanke
Buy new from $46.05
eBook from $16.50
|
The Way of Z: Practical...
Jonathan Jacky
Buy new from $34.89
eBook from $70.99
|
