Verification, Model Checking, and Abstract Interpretation
Bernhard Steffen, Giorgio Levi
Häftad, 2004
559 kr
Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
AvGiorgio Levi,Bernhard Steffen
E-bok
PDF, Engelska, 2003734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
Häftad, 1987
394 kr
Foundations of Logic and Functional Programming
Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi
Häftad, 1988
559 kr
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
Häftad, 1987
394 kr
- Signerad!