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

Weitere Titel:

FTfJP '09

1. Verfasser:

Banerjee, Anindya

Format:

Elektronisch E-Book

Sprache:

Englisch

Veröffentlicht:

New York, NY ACM 2009

Umfang:

1 online resource (64 pages)

Schriftenreihe:

ACM Digital Library

ISBN:

9781605585406

Schlagworte:

Computer science

Software

Theory of Computation

Konferenzschrift

Links:

Wird geladen...