Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=950368768



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/950368768
Art des Inhalts Hochschulschrift
Titel Temporal language of transitions and client server systems / Dieter Barnard
Person(en) Barnard, Dieter (Verfasser)
Verlag Berlin : Bertz
Zeitliche Einordnung Erscheinungsdatum: 1997
Umfang/Format XI, 240 S. : graph. Darst. ; 21 cm
Hochschulschrift Zugl.: München, Univ., Diss., 1997
ISBN/Einband/Preis 978-3-929470-56-7 kart. : DM 48.00, sfr 44.50, S 350.00
3-929470-56-X kart. : DM 48.00, sfr 44.50, S 350.00
Sprache(n) Englisch (eng)
Beziehungen Edition Versal ; Bd. 6
Schlagwörter Client-Server-Konzept ; Transitionssystem ; Boolesche Algebra ; Temporale Logik ; Spezifikationssprache
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: 1997 A 30946
Bereitstellung in Frankfurt
Leipzig Signatur: 1997 A 30946
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration