Treffer: Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables

Titel:

Beteiligt:

Veröffentlicht:

Kiel : Universitätsbibliothek Kiel, 2003

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Technische Berichte des Instituts für Informatik der CAU Kiel ; 0302

Zusatz-Informationen