Software Specification...
Marc Frappier (Editor),
Henri Habrias (Editor)
Buy new from $82.99
eBook from $29.70
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $60.21
eBook from $21.00
|
Descriptional Complexity of...
Yo-Sub Han (Editor),
Gy÷rgy Vaszil (Editor)
Buy new from $63.48
eBook from $25.50
|
Formal Specification:...
Nimal Nissanke
Buy new from $38.36
eBook from $16.50
|
Formal Methods and Software...
Michael Butler (Editor),
Sylvain Conchon (Editor)
Buy new from $49.88
eBook from $16.50
|
Industrial-Strength Formal...
Michael G Hinchey (Editor),
Prof. Jonathan P Bowen (Editor)
Buy new from $95.41
eBook from $47.70
|
Formal Techniques for Safety...
Cyrille Artho (Editor),
Peter Csaba ?lveczky (Editor)
Buy new from $46.72
eBook from $16.50
|
Software Engineering and...
Rocco De Nicola (Editor),
Eva K?hn (Editor)
Buy new from $49.19
eBook from $16.50
|
Theories of Programming and...
Jonathan P. Bowen (Editor),
Qin Li (Editor)
Buy new from $63.56
eBook from $24.00
|
Formal Techniques for...
Holger Giese (Editor),
Grigore Rosu (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Ontology in...
Fabian Neuhaus (Editor),
Boyan Brodaric (Editor)
Buy new from $95.58
eBook from $167.00
|
Software Engineering and...
Radu Calinescu (Editor),
Corina S. Pasareanu (Editor)
Buy new from $73.15
eBook from $27.00
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy new from $77.68
eBook from $96.95
|
Formal Methods: Foundations...
Lucas Lima (Editor),
Vince Molnßr (Editor)
Buy new from $47.46
eBook from $18.00
|
Integrated Formal Methods:...
John Derrick (Editor),
Stefania Gnesi (Editor)
Buy new from $60.65
eBook from $16.50
|
Computer Performance...
Katja Gilly (Editor),
Nigel Thomas (Editor)
Buy new from $56.22
eBook from $21.00
|
Integrated Formal Methods:...
Ferruccio Damiani (Editor),
Marie Farrell (Editor)
Buy new from $62.17
eBook from $22.50
|
Formal Aspects of Component...
Diego Marmsoler (Editor),
Meng Sun (Editor)
Buy new from $44.12
eBook from $16.50
|
Formal Methods in...
Sara Eloy (Editor),
David Leite Viana (Editor)
Buy new from $128.10
eBook from $47.70
|
Formal Methods for Industrial...
Jan Friso Groote (Editor),
Marieke Huisman (Editor)
Buy new from $60.13
eBook from $24.00
|
Formal Methods for Multi...
Lars Lindemann,
Dimos V Dimarogonas
Buy new from $73.48
eBook from $54.99
|
Formal Methods and Software...
Toshiaki Aoki (Editor),
Kenji Taguchi (Editor)
Buy new from $51.11
eBook from $16.50
|
Fundamentals of Software...
Hossein Hojjat (Editor),
Erika ?brahßm (Editor)
Buy new from $47.92
eBook from $19.50
|
Formal Ontology in...
Nathalie Aussenac-Gilles (Editor),
Torsten Hahmann (Editor)
Buy new from $140.47
eBook from $243.00
|
