Author books / Книги автора David L. Dill (auth.) Ranjit Jhala David Schmidt (eds.) » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора David L. Dill (auth.) Ranjit Jhala David Schmidt (eds.) » Page 2

book Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

pdf

Author: David L. Dill (auth.) Ranjit Jhala David Schmidt (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

pdf

Author: David L. Dill (auth.) Ranjit Jhala David Schmidt (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

pdf

Author: Gilles Barthe Benjamin Grégoire Santiago Zanella Béguelin (auth.) Antoine Miné David Schmidt (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

djvu

Author: Peter Aczel (auth.) Stephen Brookes Michael Main Austin Melton Michael Mislove David Schmidt (eds.)
Language: English
Year: 1994

00

27.01.2024

0

0

book Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

pdf

Author: Peter W. O’Hearn (auth.) David Schmidt (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

pdf

Author: Peter W. O’Hearn (auth.) David Schmidt (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0