Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: ACM Digital Library | ACM Other conferencesVerlag: New York, NY : ACM, 2009Beschreibung: Online-Ressource (1 online resource (64 pages))ISBN:- 9781605585406
- FTfJP '09
Dieser Titel hat keine Exemplare
Association for Computing Machinery-Digital Library