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
Static Analysis
5th International Symposium, SAS''98, Pisa, Italy, September 14-16, 1998, Proceedings
E-bok
PDF, Engelska, 2003708 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
Foundations of Logic and Functional Programming
Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi
Häftad, 1988
559 kr
Verification, Model Checking, and Abstract Interpretation
Bernhard Steffen, Giorgio Levi
Häftad, 2004
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
Verification, Model Checking, and Abstract Interpretation
Giorgio Levi, Bernhard Steffen
E-bok
2003734 kr
- Signerad!