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