Tools

LEADER 02086nam a22004577a 4500

001 ssj0000157237;

003 WaSeSS;

005 20240412080346.0;

006 m d ;

007 cr n ;

008 060531s2006 gw a sb 001 0 eng d;

010 a| 2006928323;

016 7 a| 9788812222| GyFmDB;

020 a| 9783540329220 (hbk.);

020 a| 3540329226 (hbk.);

035 a| (WaSeSS)ssj0000157237;

042 a| lccopycat;

049 a| EREEa| NEHH;

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

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

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

260 a| Berlin ;a| New York :b| Springer,;

300 a| ix, 181 p. :b| ill. ;c| 24 cm.;

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.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

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

650 0 a| Computer multitasking=| ^A352583;

655 0 a| Electronic books.=| ^A491897;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F3-540-32923-4;

947 a| (OCoLC)ocm71747278;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 6356163;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6356163-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 4/19/2024x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6356163-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 4/19/2024x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6356163-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 4/19/2024x| EBOOKz| JERESOURCE;

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

Author/creator	Bollig, Benedikt
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	ix, 181 p. : ill. ; 24 cm.
Supplemental Content	Full text available from Springer Books
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.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2006928323
ISBN	9783540329220 (hbk.)
ISBN	3540329226 (hbk.)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

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

Click here for more information about this title

Availability