Lectures on Formal Methods...
Ed Brinksma (Editor),
Holger Hermanns (Editor)
Buy from $20.00
eBook from $16.50
|
Formal Techniques for...
Myungchul Kim (Editor),
Byoungmoon Chin (Editor)
Buy from $140.37
eBook from $62.70
|
Readings in Hardware/Software...
Giovanni De Micheli (Editor),
Rolf Ernst (Editor)
Buy from $19.95
eBook from $118.00
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy from $25.00
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 $103.32
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 $103.32
eBook from $29.70
|
Formal Methods for Protocol...
Jianping Wu (Editor),
Samuel T Chanson (Editor)
Buy from $9.49
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.13
eBook from $70.99
|
