國立虎尾科技大學 |

Language: English

Back

Formal models of communicating syste...

Bollig, Benedikt

Formal models of communicating systems : languages, automata, and monadic second-order logic

Record Type:	Language materials, printed : monographic
Title Information:	languages, automata, and monadic second-order logic
Author:	BolligBenedikt,
Place of Publication:	Berlin
Published:	Springer;
Year of Publication:	c2006
Description:	ix, 181 p.ill. : 24 cm.;
Subject:	Multitasking (Computer science) -
Subject:	Electronic data processing - Distributed processing -
Notes:	Originally presented as the author's thesis (doctoral- -Aachen, 2005) under the title: Automata and logics for message sequence charts
ISBN:	9783540329220

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

Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig - Berlin : Springer, c2006. - ix, 181 p. ; ill. ; 24 cm..
Originally presented as the author's thesis (doctoral- -Aachen, 2005) under the title: Automata and logics for message sequence charts.
Includes bibliographical references (p. [165]-171) and index.
ISBN 9783540329220ISBN 3540329226
Multitasking (Computer science)Electronic data processing -- Distributed processing

Formal models of communicating systems : languages, automata, and monadic second-order logic
LDR:00900nam 2200253 i 450 001 501634
005 20101024012429.0
009 a(OCoLC)71747278
009 a71747278
010 1 $a 9783540329220 $b (hbk.)
010 1 $a 3540329226 $b (hbk.) $d EUR49.95
100 $a 20080130d2006 ak0y0engy50020302ba
101 0 $a eng
102 $a de
105 $a a z 001yy
200 1 $a Formal models of communicating systems $e languages, automata, and monadic second-order logic $f Benedikt Bollig
210 $a Berlin $d c2006 $c Springer
215 1 $a ix, 181 p. $c ill. $d 24 cm.
300 $a Originally presented as the author's thesis (doctoral- -Aachen, 2005) under the title: Automata and logics for message sequence charts
320 $a Includes bibliographical references (p. [165]-171) and index
606 $a Multitasking (Computer science) $3 492391 $2 lc $3 732750
606 $a Electronic data processing $x Distributed processing $3 395727 $2 lc $3 723365
676 $a 004.36 $v 22
680 $a QA76.9.D5 $b B65 2006
700 1 $a Bollig $b Benedikt $3 494800
801 0 $b OHX
801 0 $a tw $b BIB $c 20071119
801 2 $a tw $b NFU $c 20090929 $g CCR $m 3