Treffer: Complexity analysis for JAVA with AProVE

Titel:

Complexity analysis for JAVA with AProVE / Florian Frohn and Jürgen Giesl ; RWTH Aachen, Department of Computer Science

Beteiligt:

Körperschaft:

Veröffentlicht:

Aachen : RWTH Aachen, 2017

Vertrieb:

Hannover : Technische Informationsbibliothek (TIB)

Umfang:

1 Online-Ressource (25 Seiten, 590,47 KB)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Aachener Informatik-Berichte ; 2017-04

Schlagworte:

Zusatz-Informationen