Specification and refinement of reactive systems 26.09. - 30.09.94 Manfred Broy ... (ed.)
Materialtyp:
TextSprache: Englisch Reihen: ; 98 | Dagstuhl-Seminar-Report ; 98Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1994Beschreibung: 19 S graph. Darst 21 cmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 28
- 1
- Archivierung/Langzeitarchivierung gewährleistet PESL
| 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) | Wadern, Dagstuhl IBFI SR 98 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | Reports MPI | 2000000124575 |
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)
| Wadern, Dagstuhl IBFI SR 95 Fundamentals of object oriented languages, systems, and methods 22.08. - 26.08.94 | Wadern, Dagstuhl IBFI SR 96 Unifying theory and practice in distributed systems 05.09. - 09.09.94 | Wadern, Dagstuhl IBFI SR 97 Interdisciplinary foundations of system design and evaluation 19.09. - 23.09.94; [position papers for Dagstuhl Seminar on Interdisciplinary Foundations of System Design and Evaluation] | Wadern, Dagstuhl IBFI SR 98 Specification and refinement of reactive systems 26.09. - 30.09.94 | Wadern, Dagstuhl IBFI SR 99 System requirements analysis, management, and exploitation | Wadern, Dagstuhl IBFI TaB 6/1993 Frauen in Mathematik und Informatik Tagungsbericht, Schloß Dagstuhl, 1.6. - 4.6.1993 | Wadern, Dagstuhl IBFI TB 1990-1991 Tätigkeitsbericht 1990/91 Juni 1990 - April 1991 |
Archivierung prüfen 20200919 DE-640 1 pdager
Archivierung/Langzeitarchivierung gewährleistet PESL pdager DE-291