Readings in Hardware/Software...
Giovanni De Micheli (Editor),
Rolf Ernst (Editor)
Buy new from $89.78
eBook from $118.00
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy new from $106.82
eBook from $29.70
|
Software Specification...
Marc Frappier (Editor),
Henri Habrias (Editor)
Buy new from $112.32
eBook from $29.70
|
Cafe: An Industrial-Strength...
Kokichi Futatsugi,
A T Nakagawa (Editor)
Buy new from $25.50
eBook from $117.00
|
Domain Modeling-Based...
Ruqian Lu,
Zhi Jin
Buy new from $215.66
eBook from $62.70
|
Challenges for Action Theories
Michael Thielscher
Buy new from $60.57
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
|
Industrial-Strength Formal...
Michael G Hinchey (Editor),
Prof. Jonathan P Bowen (Editor)
Buy new from $39.88
eBook from $47.70
|
Fm'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy new from $112.32
eBook from $29.70
|
Formal Methods for Protocol...
Jianping Wu (Editor),
Samuel T Chanson (Editor)
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
|
Applied Formal Methods - Fm...
Dieter Hutter (Editor),
Werner Stephan (Editor)
Buy new from $60.57
eBook from $16.50
|
Formal Specification:...
Nimal Nissanke
Buy new from $47.56
eBook from $16.50
|
The Way of Z: Practical...
Jonathan Jacky
Buy new from $41.89
eBook from $70.99
|
