Formal Methods and Software...
Stephan Merz (Editor),
Jun Pang (Editor)
Buy new from $51.65
eBook from $16.50
|
Formal Methods for Industrial...
Michael Dierkes (Editor),
Charles Pecheur (Editor)
Buy new from $46.96
eBook from $15.00
|
NASA Formal Methods: 7th...
Klaus Havelund (Editor),
Gerard Holzmann (Editor)
Buy new from $51.65
eBook from $16.50
|
Challenges for Action Theories
Michael Thielscher
Buy new from $51.64
eBook from $16.50
|
Web Services and Formal...
Emilio Tuosto (Editor),
Chun Ouyang (Editor)
Buy new from $42.25
eBook from $13.50
|
Formal and Practical Aspects...
Phan Cong-Vinh
Buy new from $196.27
eBook from $195.00
|
FM 2014: Formal Methods: 19th...
Cliff Jones (Editor),
Pekka Pihlajasaari (Editor)
Buy new from $103.32
eBook from $29.70
|
Formal Techniques for...
Myungchul Kim (Editor),
Byoungmoon Chin (Editor)
Buy new from $153.24
eBook from $62.70
|
Formal Methods for Protocol...
Jianping Wu (Editor),
Samuel T Chanson (Editor)
Buy new from $206.66
eBook from $62.70
|
Cafe: An Industrial-Strength...
Kokichi Futatsugi,
A T Nakagawa (Editor)
Buy new from $18.50
eBook from $117.00
|
