Treffer: Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation

Titel:

Verantwortlich:

Körperschaft:

Veröffentlicht:

Berlin, Heidelberg : Springer-Verlag, 2011

Vertrieb:

New York, NY : ACM

Umfang:

1 Online-Ressource (418 Seiten)

Publikationstyp:

E-Book

Sprache:

Englisch

Anmerkungen:

Title from The ACM Digital Library

RVK-Notation:

Schlagworte:

ISBN:

9783642182747

Zusatz-Informationen