> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Modelling distributed systems : with 7 tables Beteiligte: Fokkink, Willem J. [Verfasser:in] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2007 Erschienen in: Texts in theoretical computer science : an EATCS series Umfang: VIII, 151 S.; graph. Darst; 235 mm x 155 mm Sprache: Englisch ISBN: 3540739378; 9783540739371 Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 12072095 RVK-Notation: ST 200 : Allgemeines, Netzmanagement ST 130 : Allgemeines Schlagwörter: Verteiltes System > Algebraische Spezifikation > Verifikation > Prozessalgebra > Abstrakter Datentyp > Nebenläufigkeit Verteilter Algorithmus > Programmverifikation > Formale Methode Entstehung: Anmerkungen: Literaturverz. S. [143] - 148
Bereichsbibliothek DrePunct – Magazin Signatur: 2007 8 071449 Barcode: 31619616 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung