Dynamic Logic
David Harel,
Dexter Kozen
Buy from $64.03
|
Dynamic Logic
David Harel,
Dexter Kozen
Buy from $68.44
|
Formal Methods for...
Tommaso Bolognesi (Editor),
Diego Latella (Editor)
Buy from $161.61
|
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
|
Formal Methods Fact File: VDM...
Andrew Harry
Buy from $168.88
|
Formal Methods in Programming...
Dines Bjørner (Editor),
Manfred Broy (Editor)
Buy from $46.93
|
