Media type: Book Title: Formal models of communicating systems : languages, automata and monadic second-order logic ; with 72 figures and 6 tables Contributor: Bollig, Benedikt [Author] Published: Berlin; Heidelberg [u.a.]: Springer, 2006 Extent: IX, 181 S.; graph. Darst; 24 cm Language: English ISBN: 3540329226; 9783540329220 Publisher, production or purchase order numbers: Sonstige Nummer: 11676010 RVK notation: ST 130 : Allgemeines ST 273 : Kommunikationssysteme allgemein (A-Z) Keywords: Kommunikationssystem > Automat > Monadische Logik > Stufe 2 > Message sequence chart Kommunikationssystem > Formale Methode Origination: Footnote: Literaturverz. S. [165] - 171
Departmental Library DrePunct – stack Shelf-mark: R2015 8 2654 Item ID: 31680211 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order