Formal Methods and Software...
Kazuhiro Ogata (Editor),
Mark Lawford (Editor)
Buy from $51.65
eBook from $16.50
|
Foundations of Security...
Alessandro Aldini (Editor),
Javier Lopez (Editor)
Buy from $42.26
eBook from $13.50
|
Static Analysis: 23rd...
Xavier Rival (Editor)
Buy from $51.65
eBook from $16.50
|
Integrated Formal Methods:...
Erika Ábrahám (Editor),
Marieke Huisman (Editor)
Buy from $50.00
eBook from $27.00
|
A List of Successes That Can...
Sam Lindley (Editor),
Conor McBride (Editor)
Buy from $51.65
eBook from $16.50
|
Foundations of Software...
Bart Jacobs (Editor),
Christof Löding (Editor)
Buy from $51.65
eBook from $16.50
|
Functional and Logic...
Oleg Kiselyov (Editor),
Andy King (Editor)
Buy from $51.65
eBook from $16.50
|
An Introduction to Formal...
Peter Linz
Buy from $6.88
eBook from $93.13
|
Verified Software: Theories,...
Arie Gurfinkel (Editor),
Sanjit A Seshia (Editor)
Buy from $51.12
eBook from $16.50
|
Programming Language...
Michael Scott
Buy from $8.01
eBook from $26.99
|
Logical Foundations of...
Sergei Artemov (Editor),
Anil Nerode (Editor)
Buy from $51.65
eBook from $16.50
|
Programming Languages and...
Xinyu Feng (Editor),
Sungwoo Park (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
|
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 $46.02
eBook from $16.50
|
Latest Advances in Inductive...
Stephen Muggleton (Editor),
Hiroaki Watanabe (Editor)
Buy from $22.10
eBook from $39.00
|
Model-Based Safety and...
Frank Ortmeier (Editor),
Antoine Rauzy (Editor)
Buy from $64.42
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
|
Instruction Sequences for...
Jan A Bergstra,
Cornelis a Middelburg
Buy from $154.95
eBook from $29.70
|
Foundations of Software...
Anca Muscholl (Editor)
Buy from $51.65
eBook from $16.50
|
