Some Formal Methods Supporting Software Reuse ;
Materialtyp:
TextReihen: Universität-Gesamthochschule-Essen <Essen> / Fachbereich Mathematik und Informatik / Informatik-BerichteVerlag: Fachbereich Mathematik und Informatik, Universität - Gesamthochschule - Essen 1993Beschreibung: 33 S
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Reports (B) | Essen GHS Bericht 02-93 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | Reports MPI | 2000000208305 |
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 01-94 Component-oriented software development with Pi | Essen GHS Bericht 02-91 Translating a subset of SETL/E into SETL2 | Essen GHS Bericht 02-92 PROSET - Prototyping with Sets . Language Definition | 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 |