Ergebnisse filtern
-
- 7
- 2
-
- 1
- 2
- 1
- 1
- 1
- 1
- 2
-
- 9
-
- 2
- 7
-
- 9
-
- 9
-
- 9
-
Levi Static Analysis
5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65014-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Levi Static Analysis
5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings1998Verlag: SpringerISBN: 978-3-540-49727-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Steffen / Levi Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20803-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kirchner / Levi Algebraic and Logic Programming
Third International Conference, Volterra, Italy, September 2-4, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55873-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Levi Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings2004Verlag: SpringerISBN: 978-3-540-24622-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Levi / Rodriguez-Artalejo Algebraic and Logic Programming
4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58431-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Boscarol / Carlucci Aiello / Levi Foundations of Logic and Functional Programming
Workshop, Trento, Italy, December 15-19, 1986. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-19129-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ehrig / Kowalski / Levi TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)1. Auflage 1987Verlag: SpringerISBN: 978-3-540-17660-2Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ehrig / Kowalski / Levi TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)1. Auflage 1987Verlag: SpringerISBN: 978-3-540-17611-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
