Runtime Verification: 6th...
Ezio Bartocci (Editor),
Rupak Majumdar (Editor)
Buy from $51.65
eBook from $16.50
|
Arduino Electronics Blueprints
Don Wilcher
Buy from $32.87
eBook from $39.99
|
Validation of Evolving...
Hana Chockler (Editor),
Daniel Kroening (Editor)
Buy from $51.65
eBook from $29.70
|
High Performance Computing:...
Julian M Kunkel (Editor),
Professor Thomas Ludwig (Editor)
Buy from $51.65
eBook from $16.50
|
Logic, Language, and...
Martin Aher (Editor),
Daniel Hole (Editor)
Buy from $51.65
eBook from $16.50
|
Unifying Theories of...
David Naumann (Editor)
Buy from $42.26
eBook from $13.50
|
Concrete Semantics: With...
Tobias Nipkow,
Gerwin Klein
Buy from $43.65
eBook from $16.50
|
Latest Advances in Inductive...
Stephen Muggleton (Editor),
Hiroaki Watanabe (Editor)
Buy from $20.97
eBook from $39.00
|
Model-Based Safety and...
Frank Ortmeier (Editor),
Antoine Rauzy (Editor)
Buy from $64.45
eBook from $16.50
|
Reachability Problems: 8th...
Joel Ouaknine (Editor),
Igor Potapov (Editor)
Buy from $14.00
eBook from $16.50
|
Computational Logic in Multi...
Nils Bulling (Editor),
Leendert van der Torre (Editor)
Buy from $51.65
eBook from $16.50
|
Foundations of Security...
Alessandro Aldini (Editor),
Javier Lopez (Editor)
Buy from $51.65
eBook from $16.50
|
Static Analysis: 21st...
Markus Müller-Olm (Editor),
Helmut Seidl (Editor)
Buy from $51.65
eBook from $16.50
|
Instruction Sequences for...
Jan A Bergstra,
Cornelis a Middelburg
Buy from $156.29
eBook from $29.70
|
Leo Esakia on Duality in...
Guram Bezhanishvili (Editor)
Buy from $103.32
eBook from $29.70
|
Foundations of Software...
Anca Muscholl (Editor)
Buy from $51.65
eBook from $16.50
|
Constraints Meet Concurrency
Jacopo Mauro
Buy from $51.65
eBook from $16.50
|
Certified Programs and Proofs...
Georges Gonthier (Editor),
Michael Norrish (Editor)
Buy from $51.65
eBook from $16.50
|
Programming Languages and...
Chung-Chien Shan (Editor)
Buy from $51.65
eBook from $16.50
|
Implementation and...
Ralf Hinze (Editor)
Buy from $67.63
eBook from $21.00
|
Hardware and Software:...
Valeria Bertacco (Editor),
Axel Legay (Editor)
Buy from $51.65
eBook from $16.50
|
The Beauty of Functional Code...
Peter Achten (Editor),
Pieter Koopman (Editor)
Buy from $46.96
eBook from $15.00
|
Runtime Verification: 4th...
Axel Legay (Editor),
Saddek Bensalem (Editor)
Buy from $51.65
eBook from $16.50
|
