Functional abstract interpretation / Sebastian Graf ; Gregor Snelting, Jonathan I. Brachthäuser

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Publisher: Karlsruhe : KIT-Bibliothek, [2024?]Description: 1 Online-Ressource (x, 263 Seiten)Subject(s): Genre/Form: DDC classification:
  • 629.2
  • 620
Local classification: Lokale Notation: inf 11DOI: DOI: 10.5445/IR/1000177868Online resources: Action note:
  • Archivierung/Langzeitarchivierung gewährleistet DISS
Dissertation note: Dissertation - Karlsruhe, Karlsruher Institut für Technologie (KIT), 2024 PPN: PPN: 1916502415Package identifier: Produktsigel: GBV-ODiss
No physical items for this record

Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90

KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT