國立虎尾科技大學 |

登入

回首頁

Formal models of communicating syste...

Bollig, Benedikt

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

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	languages, automata, and monadic second-order logic
作者:	BolligBenedikt,
出版地:	Berlin
出版者:	Springer;
出版年:	c2006
面頁冊數:	ix, 181 p.ill. : 24 cm.;
標題:	Multitasking (Computer science) -
標題:	Electronic data processing - Distributed processing -
附註:	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