Formal Methods for Dynamical...
Marco Bernardo (Editor),
Erik de Vink (Editor)
Buy new from $53.84
eBook from $15.00
|
Theories of Programming and...
Zhiming Liu (Editor),
Jim Woodcock (Editor)
Buy new from $60.57
eBook from $16.50
|
Formal Methods and Software...
Stephan Merz (Editor),
Jun Pang (Editor)
Buy new from $59.87
eBook from $16.50
|
Formal Methods for Industrial...
Michael Dierkes (Editor),
Charles Pecheur (Editor)
Buy new from $55.96
eBook from $15.00
|
NASA Formal Methods: 7th...
Klaus Havelund (Editor),
Gerard Holzmann (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Methods and Software...
Jin Song Dong (Editor),
Huibiao Zhu (Editor)
Buy new from $112.32
eBook from $29.70
|
Challenges for Action Theories
Michael Thielscher
Buy new from $60.57
eBook from $16.50
|
FM 2014: Formal Methods: 19th...
Cliff Jones (Editor),
Pekka Pihlajasaari (Editor)
Buy new from $112.32
eBook from $29.70
|
Formal Techniques for...
Myungchul Kim (Editor),
Byoungmoon Chin (Editor)
Buy new from $78.03
eBook from $62.70
|
Formal Methods for Protocol...
Jianping Wu (Editor),
Samuel T Chanson (Editor)
Buy new from $215.66
eBook from $62.70
|
Cafe: An Industrial-Strength...
Kokichi Futatsugi,
A T Nakagawa (Editor)
Buy new from $25.50
eBook from $117.00
|
