Logic, Language, and...
Helle Hvid Hansen (Editor),
Sarah E Murray (Editor)
Buy new from $47.46
eBook from $16.50
|
Latest Advances in Inductive...
Muggleton Stephen H
Buy new from $101.06
eBook from $39.00
|
Implementation and...
Jurriaan Hage (Editor),
Marco T Morazßn (Editor)
Buy new from $74.75
eBook from $21.00
|
Value-Range Analysis of C...
Axel Simon
Buy new from $117.34
eBook from $47.70
|
Foundations of Software...
Bart Jacobs (Editor),
Christof L÷ding (Editor)
Buy new from $51.01
eBook from $16.50
|
Software Architecture with...
Jason Chow (Tsz Shun)
Buy new from $45.06
eBook from $33.99
|
Static Analysis: 6th...
Agostino Cortesi (Editor),
Gilberto File (Editor)
Buy new from $47.19
eBook from $16.50
|
Static Analysis: 24th...
Francesco Ranzato (Editor)
Buy new from $49.51
eBook from $16.50
|
Runtime Verification: 6th...
Ezio Bartocci (Editor),
Rupak Majumdar (Editor)
Buy new from $48.83
eBook from $16.50
|
ECOOP 2008 - Object-Oriented...
Jan Vitek (Editor)
Buy new from $39.08
eBook from $29.70
|
Certified Programs and Proofs...
Georges Gonthier (Editor),
Michael Norrish (Editor)
Buy new from $46.24
eBook from $16.50
|
Foundations of Security...
Alessandro Aldini (Editor),
Javier Lopez (Editor)
Buy new from $37.55
eBook from $13.50
|
Abstraction, Refinement and...
Annabelle McIver,
Charles C Morgan
Buy new from $60.43
eBook from $47.70
|
Algebraic Theory of Automata...
Ito Masami
Buy new from $108.65
eBook from $46.00
|
Tests and Proofs: 14th...
Wolfgang Ahrendt (Editor),
Heike Wehrheim (Editor)
Buy new from $43.64
eBook from $16.50
|
Interactive Theorem Proving:...
Mauricio Ayala-Rinc?n (Editor),
C?sar a Mu±oz (Editor)
Buy new from $50.74
eBook from $16.50
|
Trustworthy Global Computing
Ugo Montanari (Editor),
Donald Sannella (Editor)
Buy new from $46.92
eBook from $16.50
|
Programming Languages and...
Chung-Chien Shan (Editor)
Buy new from $47.60
eBook from $16.50
|
Practical Aspects of...
Francesco Calimeri (Editor),
Kevin Hamlen (Editor)
Buy new from $38.51
eBook from $18.00
|
Software Architecture with...
Wanderson Xesquevixos
Buy new from $49.36
eBook from $37.99
|
Model Checking Software: 15th...
Klaus Havelund (Editor),
Rupak Majumdar (Editor)
Buy new from $60.65
eBook from $16.50
|
Verified Software: Theories,...
Arie Gurfinkel (Editor),
Sanjit A Seshia (Editor)
Buy new from $44.46
eBook from $16.50
|
C++ in Embedded Systems: A...
Amar Mahmutbegovic,
Francesco Abbruzzese
Buy new from $43.30
eBook from $31.99
|
Logic, Rationality, and...
Patrick Blackburn (Editor),
Emiliano Lorini (Editor)
Buy new from $49.10
eBook from $16.50
|
