Formal Methods for Industrial...
Jan Friso Groote (Editor),
Marieke Huisman (Editor)
Buy from £58.64
eBook from £19.31
|
Complex Data Analytics with...
Rokia Missaoui (Editor),
Léonard Kwuida (Editor)
Buy from £140.79
eBook from £40.79
|
Integrated Formal Methods:...
Maurice H. ter Beek (Editor),
Rosemary Monahan (Editor)
Buy from £69.22
eBook from £20.52
|
Formal Techniques for...
Mohammad Reza Mousavi (Editor),
Anna Philippou (Editor)
Buy from £58.56
eBook from £19.31
|
NASA Formal Methods: 14th...
Jyotirmoy V. Deshmukh (Editor),
Klaus Havelund (Editor)
Buy from £78.62
eBook from £31.14
|
Formal Verification of...
David M. Russinoff
Buy from £94.63
eBook from £26.31
|
Software Engineering and...
Radu Calinescu (Editor),
Corina S. Pasareanu (Editor)
Buy from £75.25
eBook from £21.73
|
Descriptional Complexity of...
Yo-Sub Han (Editor),
Sang-Ki Ko (Editor)
Buy from £56.36
eBook from £15.69
|
Dependable Software...
Shengchao Qin (Editor),
Jim Woodcock (Editor)
Buy from £63.45
eBook from £20.52
|
Formal Methods: Foundations...
Sérgio Campos (Editor),
Marius Minea (Editor)
Buy from £52.58
eBook from £14.49
|
Model Checking, Synthesis,...
Ernst-Rüdiger Olderog (Editor),
Bernhard Steffen (Editor)
Buy from £57.99
eBook from £16.90
|
Formal Methods: 24th...
Marieke Huisman (Editor),
Corina Pasareanu (Editor)
Buy from £97.93
eBook from £26.31
|
Formal Methods Teaching: 4th...
João F. Ferreira (Editor),
Alexandra Mendes (Editor)
Buy from £52.58
eBook from £14.49
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from £64.27
eBook from £19.31
|
Runtime Verification: 21st...
Lu Feng (Editor),
Dana Fisman (Editor)
Buy from £70.39
eBook from £20.52
|
Formal Methods in...
Sara Eloy (Editor),
David Leite Viana (Editor)
Buy from £264.20
eBook from £38.38
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from £80.00
eBook from £21.49
|
Formal Aspects of Component...
Farhad Arbab (Editor),
Sung-Shik Jongmans (Editor)
Buy from £36.27
eBook from £13.28
|
From Software Engineering to...
Maurice H. ter Beek (Editor),
Alessandro Fantechi (Editor)
Buy from £13.67
eBook from £13.28
|
Formal Methods in Computer...
Jiacun Wang
Buy from £89.74
eBook from £50.89
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from £48.80
eBook from £13.28
|
Web Services, Formal Methods,...
Thomas Hildebrandt (Editor),
António Ravara (Editor)
Buy from £41.15
eBook from £10.87
|
