Formal Techniques for Safety...
Cyrille Artho (Editor),
Peter Csaba ?lveczky (Editor)
Buy from £49.04
eBook from £13.35
|
Modeling Complex Processes...
Christina Kl?ver,
J?rgen Kl?ver
Buy from £69.56
eBook from £20.62
|
Theories of Programming and...
Jonathan P. Bowen (Editor),
Qin Li (Editor)
Buy from £13.50
eBook from £19.41
|
Dependable Software...
Shengchao Qin (Editor),
Jim Woodcock (Editor)
Buy from £63.76
eBook from £20.62
|
Formal Methods: State of the...
Paul Boca (Editor),
Jonathan P Bowen (Editor)
Buy from £15.07
eBook from £36.14
|
Formal Methods for Industrial...
Jan Friso Groote (Editor),
Marieke Huisman (Editor)
Buy from £58.93
eBook from £19.41
|
Fundamentals of Software...
Hossein Hojjat (Editor),
Erika ?brahßm (Editor)
Buy from £26.66
eBook from £15.77
|
Software Engineering and...
Antonio Cerone (Editor),
Marco Autili (Editor)
Buy from £48.87
eBook from £13.35
|
Formal Approaches to Software...
Andreas Ulrich (Editor)
Buy from £47.24
eBook from £13.35
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy from £72.66
eBook from £78.39
|
Applied Formal Methods - FM...
Dieter Hutter (Editor),
Werner Stephan (Editor)
Buy from £11.13
eBook from £13.35
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy from £37.75
eBook from £10.92
|
Formal Methods: 25th...
Marsha Chechik (Editor),
Joost-Pieter Katoen (Editor)
Buy from £87.07
eBook from £24.02
|
Formal Aspects of Component...
Silvia Lizeth Tapia Tarifa (Editor),
Jos? Proen?a (Editor)
Buy from £54.42
eBook from £16.98
|
Formal Methods Teaching: 4th...
Jo?o F. Ferreira (Editor),
Alexandra Mendes (Editor)
Buy from £52.84
eBook from £14.56
|
Software Engineering and...
Bernd-Holger Schlingloff (Editor),
Ming Chai (Editor)
Buy from £53.96
eBook from £16.98
|
Integrated Formal Methods:...
Nikolai Kosmatov (Editor),
Laura Kovßcs (Editor)
Buy from £113.60
eBook from £33.96
|
Formal Techniques for...
Marieke Huisman (Editor),
Ant?nio Ravara (Editor)
Buy from £59.86
eBook from £19.41
|
Symbolic Simulation Methods...
Robert B Jones
Buy from £18.57
eBook from £24.02
|
Formal Concept Analysis: 17th...
Dominik D?rrschnabel (Editor),
Domingo L?pez Rodr?guez (Editor)
Buy from £26.34
eBook from £14.56
|
Software Engineering and...
Radu Calinescu (Editor),
Corina S. Pasareanu (Editor)
Buy from £75.62
eBook from £21.83
|
Integrated Formal Methods:...
John Derrick (Editor),
Stefania Gnesi (Editor)
Buy from £49.04
eBook from £13.35
|
Integrated Formal Methods:...
Paula Herber (Editor),
Anton Wijs (Editor)
Buy from £106.01
eBook from £28.87
|
Rebeca for Actor Analysis in...
Edward A. Lee (Editor),
Mohammad Reza Mousavi (Editor)
Buy from £64.23
eBook from £18.20
|
