Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Bad" and "Saarow"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/910701636 |
Art des Inhalts | Konferenzschrift |
Titel | Formal techniques in protocol specification and testing : proceedings of the 2. International KNP-4 Workshop, Bad Saarow, December 12 - 15, 1989 / Institut für Informatik und Rechentechnik. [Red.: Wilfried Ködderitzsch] |
Person(en) | Ködderitzsch, Wilfried (Herausgeber) |
Organisation(en) | International KNP 4 Workshop (2 : 1989 : Saarow-Pieskow) (Herausgebendes Organ) |
Verlag | Berlin : Iir |
Zeitliche Einordnung | Erscheinungsdatum: 1990 |
Umfang/Format | 188 S. : graph. Darst. ; 21 cm |
ISBN/Einband/Preis | kart. |
Sprache(n) | Russisch (rus) |
Beziehungen | Institut für Informatik und Rechentechnik (Berlin, Ost): Iir-Informatik ; 1990,10 |
Anmerkungen |
Beitr. teilw. engl., teilw. russ. - Literaturangaben Status nach VGG: vergriffen |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: D 91/7037
Bereitstellung in Frankfurt |
Leipzig |
Signatur: SA 31944-1990,10
Bereitstellung in Leipzig |
