Ein Ansatz zur Typanalyse einer interaktiven Sprache zum Software Prototyping von Jörn Thomas Kaule
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 3
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | |
---|---|---|---|---|---|---|---|---|---|
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Reports (B) | Essen GHS Bericht 03-93 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | Reports MPI | 2000000208299 |
Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Reports (B), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
Essen GHS Bericht 02-93 Some Formal Methods Supporting Software Reuse | Essen GHS Bericht 03-91 Software Prototyping mit Mengen | Essen GHS Bericht 03-92 Prototyping - A Topological View | Essen GHS Bericht 03-93 Ein Ansatz zur Typanalyse einer interaktiven Sprache zum Software Prototyping | Essen GHS Bericht 04-91 Type Checking and Data Structure Selection for Mini-ML with Sets | Essen GHS Bericht 04-92 A formal Z specification of ProSet-Linda | Essen GHS Bericht 04-93 Prototyping parallel algorithms with ProSet-Linda |
Essen, Univ., Diss., 1993
Archivierung prüfen 20200919 DE-640 3 pdager