Programming Languages and...
Hongseok Yang (Editor)
Buy from $103.32
eBook from $29.70
|
Foundations of Software...
Javier Esparza (Editor),
Andrzej S Murawski (Editor)
Buy from $51.65
eBook from $16.50
|
Fundamental Approaches to...
Marieke Huisman (Editor),
Julia Rubin (Editor)
Buy from $51.65
eBook from $16.50
|
Controlling Language in...
Stephen Crabbe
Buy from $65.75
eBook from $21.00
|
Logic, Language, and...
Helle Hvid Hansen (Editor),
Sarah E Murray (Editor)
Buy from $51.65
eBook from $16.50
|
Small Dynamic Complexity...
Thomas Zeume
Buy from $22.82
eBook from $16.50
|
Deductive Software...
Wolfgang Ahrendt (Editor),
Bernhard Beckert (Editor)
Buy from $122.11
eBook from $35.70
|
Programming Languages and...
Atsushi Igarashi (Editor)
Buy from $51.64
eBook from $16.50
|
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
|
Trends in Functional...
Manuel Serrano (Editor),
Jurriaan Hage (Editor)
Buy from $42.26
eBook from $13.50
|
Tools and Algorithms for the...
Marsha Chechik (Editor),
Jean-François Raskin (Editor)
Buy from $51.65
eBook from $16.50
|
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
|
Fundamental Approaches to...
Perdita Stevens (Editor),
Andrzej W sowski (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.83
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.69
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
|
Automated Technology for...
Bernd Finkbeiner (Editor),
Geguang Pu (Editor)
Buy from $51.65
eBook from $16.50
|
