Treffer: Termination graphs for Java bytecode

Titel:

Termination graphs for Java bytecode / Marc Brockschmidt ..

Beteiligt:

Brockschmidt, Marc

Veröffentlicht:

Aachen : RWTH, 2010

Vertrieb:

Hannover : Technische Informationsbibliothek (TIB)

Umfang:

Online-Ressource (32 S., 367 KB) : graph. Darst.

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Aachener Informatik-Berichte ; 2010, 15
Technical report / Department of Computer Science, RWTH Aachen

Schlagworte:

Zusatz-Informationen