Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy new from $46.65
eBook from $18.00
|
Software Engineering and...
Carla Ferreira (Editor),
Tim A. C. Willemse (Editor)
Buy new from $57.72
eBook from $21.00
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $65.21
eBook from $27.00
|
Formal Modeling and Analysis...
Laure Petrucci (Editor),
Jeremy Sproston (Editor)
Buy new from $43.64
eBook from $18.00
|
Software Engineering and...
Rocco De Nicola (Editor),
Eva K?hn (Editor)
Buy new from $48.42
eBook from $16.50
|
Formal Techniques for...
Holger Giese (Editor),
Grigore Rosu (Editor)
Buy new from $60.65
eBook from $16.50
|
Theories of Programming and...
Zhiming Liu (Editor),
Jim Woodcock (Editor)
Buy new from $48.28
eBook from $16.50
|
Formal Methods and Software...
Stephan Merz (Editor),
Jun Pang (Editor)
Buy new from $49.38
eBook from $16.50
|
Formal Methods for Industrial...
Michael Dierkes (Editor),
Charles Pecheur (Editor)
Buy new from $41.21
eBook from $15.00
|
NASA Formal Methods: 7th...
Klaus Havelund (Editor),
Gerard Holzmann (Editor)
Buy new from $49.24
eBook from $16.50
|
Formal Methods and Software...
Jin Song Dong (Editor),
Huibiao Zhu (Editor)
Buy new from $112.32
eBook from $29.70
|
Formal Methods for Mining...
Gemma C Garriga
Buy new from $77.69
eBook from $29.70
|
Web Services and Formal...
Emilio Tuosto (Editor),
Chun Ouyang (Editor)
Buy new from $36.67
eBook from $13.50
|
FM 2014: Formal Methods: 19th...
Cliff Jones (Editor),
Pekka Pihlajasaari (Editor)
Buy new from $90.80
eBook from $29.70
|
Formal Techniques for...
Myungchul Kim (Editor),
Byoungmoon Chin (Editor)
Buy new from $125.80
eBook from $62.70
|
Formal Methods for Protocol...
Jianping Wu (Editor),
Samuel T Chanson (Editor)
Buy new from $155.36
eBook from $62.70
|
Formal Ontology in...
Nathalie Aussenac-Gilles (Editor),
Torsten Hahmann (Editor)
Buy new from $136.92
eBook from $243.00
|
