Volltextsuche nutzen
- versandkostenfrei ab € 30,–
- 6x in Wien und Salzburg
- 6 Mio. Bücher
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
Veröffentlicht 1994
von Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt bei Springer Berlin
ISBN: 978-3-540-58027-0
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
Veröffentlicht 2004
von David Schmidt bei Springer Berlin
ISBN: 978-3-540-21313-0
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
Veröffentlicht 2011
von Ranjit Jhala, David Schmidt bei Springer Berlin
ISBN: 978-3-642-18274-7