Treffer: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs

Titel:

Körperschaft:

Veröffentlicht:

New York, NY : ACM, 2010

Vertrieb:

New York, NY : ACM

Umfang:

1 Online-Ressource (66 pages)

Publikationstyp:

E-Book

Sprache:

Englisch

Anmerkungen:

Title from The ACM Digital Library

ISBN:

9781450305402

Zusatz-Informationen