Treffer: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs

Titel:
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
Beteiligt:
Banerjee, Anindya (Verfasser)
Körper­schaft:
Association for Computing Machinery-Digital Library
ACM Special Interest Group on Software Engineering
ACM Special Interest Group on Programming Languages
Veröffent­licht:
New York, NY : ACM, 2009
Vertrieb:
New York, NY : ACM
Umfang:
1 Online-Ressource (64 pages)
Format:
E-Book
Sprache:
Englisch
Anmerkungen:
Title from The ACM Digital Library
ISBN:
9781605585406

Zusatz-Informationen

Zusatz-Funktionen