Tools

LEADER 01746cam a2200445Ia 4500

001 ocm71747278;

003 OCoLC;

005 20141211192742.0;

008 060922s2006 gw a b 001 0 eng d;

010 a| 2006928323;

016 7 a| 9788812222| GyFmDB;

020 a| 3540329226 (hd.bd.);

020 a| 9783540329220 (hd.bd.);

020 a| 9783540329220;

029 0 a| OHXb| har060040827;

035 a| (Sirsi) o71747278;

035 a| (OCoLC)71747278;

049 a| EREE;

050 14 a| QA76.9.D5b| B65 2006;

072 7 a| QA2| lcco;

100 1 a| Bollig, Benedikt.=| ^A703899;

245 10 a| Formal models of communicating systems :b| languages, automata, and monadic second-order logic /c| Benedikt Bollig.;

300 a| ix, 181 pages :b| illustrations ;c| 24 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

500 a| Originally presented as the author's thesis (doctoral- -Aachen, 2005) under the title: Automata and logics for message sequence charts.;

504 a| Includes bibliographical references (p. [165]-171) and index.;

650 0 a| Electronic data processingx| Distributed processing.=| ^A419191;

650 0 a| Computer multitasking.=| ^A352583;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060040827c| 53.45 EUR;

938 a| Baker & Taylorb| BKTYc| 64.95d| 64.95i| 3540329226n| 0006930256s| active;

980 a| 2006-12-07b| 64.95d| 0e| 54.56f| 20927;

596 a| 1;

998 a| 1063780;

999 a| QA76.9.D5 B65 2006w| LCc| 1i| 30372014171489d| 3/7/2013f| 3/7/2013g| 1l| JGESm| JOYNERp| $54.56r| Ys| Yt| JGESBKu| 12/18/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig.

Author/creator	Bollig, Benedikt
Format	Book
Publication Info	Berlin ; New York : Springer, ©2006.
Description	ix, 181 pages : illustrations ; 24 cm
Subjects	Electronic data processing--Distributed processing. Computer multitasking.

General note	Originally presented as the author's thesis (doctoral- -Aachen, 2005) under the title: Automata and logics for message sequence charts.
Bibliography note	Includes bibliographical references (p. [165]-171) and index.
LCCN	2006928323
ISBN	3540329226 (hd.bd.)
ISBN	9783540329220 (hd.bd.)
ISBN	9783540329220

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.D5 B65 2006	✔ Available	Place Hold

Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig.

Click here for more information about this title

Availability