Dependable Software...
Shengchao Qin (Editor),
Jim Woodcock (Editor)
Buy new from $64.28
eBook from $25.50
|
Symbolic Simulation Methods...
Robert B Jones
Buy new from $78.11
eBook from $29.70
|
Formal Aspects of Component...
Silvia Lizeth Tapia Tarifa (Editor),
Jos? Proen?a (Editor)
Buy new from $55.54
eBook from $21.00
|
Formal Aspects of Component...
Gwen Sala?n (Editor),
Anton Wijs (Editor)
Buy new from $39.95
eBook from $15.00
|
Formal Grammar: 15th and 16th...
Philippe de Groote (Editor),
Mark-Jan Nederhof (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Methods Teaching: 4th...
Jo?o F. Ferreira (Editor),
Alexandra Mendes (Editor)
Buy new from $46.65
eBook from $18.00
|
Formal Modeling and Analysis...
Laure Petrucci (Editor),
Jeremy Sproston (Editor)
Buy new from $43.64
eBook from $18.00
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy new from $76.41
eBook from $96.95
|
Applied Formal Methods - FM...
Dieter Hutter (Editor),
Werner Stephan (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Aspects of Component...
Diego Marmsoler (Editor),
Meng Sun (Editor)
Buy new from $42.96
eBook from $16.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $57.61
eBook from $22.50
|
Descriptional Complexity of...
Henning Bordihn (Editor),
Nicholas Tran (Editor)
Buy new from $51.16
eBook from $19.50
|
Integrated Formal Methods:...
Ferruccio Damiani (Editor),
Marie Farrell (Editor)
Buy new from $62.17
eBook from $22.50
|
Formal Modeling and Analysis...
V?ctor Braberman (Editor),
Laurent Fribourg (Editor)
Buy new from $42.72
eBook from $15.00
|
Formal Techniques for...
Mohammad Reza Mousavi (Editor),
Anna Philippou (Editor)
Buy new from $58.54
eBook from $24.00
|
Integrated Formal Methods:...
Maurice H. ter Beek (Editor),
Rosemary Monahan (Editor)
Buy new from $65.38
eBook from $25.50
|
Formal Concept Analysis: 17th...
Dominik D?rrschnabel (Editor),
Domingo L?pez Rodr?guez (Editor)
Buy new from $47.88
eBook from $18.00
|
Formal Methods: Foundations...
S?rgio Campos (Editor),
Marius Minea (Editor)
Buy new from $46.38
eBook from $18.00
|
NASA Formal Methods: 15th...
Kristin Yvonne Rozier (Editor),
Swarat Chaudhuri (Editor)
Buy new from $78.50
eBook from $29.70
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy new from $46.65
eBook from $18.00
|
Software Engineering and...
Radu Calinescu (Editor),
Corina S. Pasareanu (Editor)
Buy new from $71.94
eBook from $27.00
|
Software Engineering and...
Rocco De Nicola (Editor),
Eva K?hn (Editor)
Buy new from $48.42
eBook from $16.50
|
Software Engineering and...
Carla Ferreira (Editor),
Tim A. C. Willemse (Editor)
Buy new from $57.72
eBook from $21.00
|
Software Engineering and...
Domenico Bianculli (Editor),
Elena G?mez-Mart?nez (Editor)
Buy new from $63.58
eBook from $24.00
|
