國立高雄大學圖資館 |

Language: English

Back

Formal Models of Communicating Systems :Languages, Automata, and Monadic Second-Order Logic /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal Models of Communicating Systems :by Benedikt Bollig.
Reminder of title:	Languages, Automata, and Monadic Second-Order Logic /
Author:	Bollig, Benedikt.
Published:	Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2006.
Description:	v.: digital
Subject:	Software Engineering
Online resource:	http://dx.doi.org/10.1007/3-540-32923-4
ISBN:	9783540329220 (paper)

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 /[electronic resource] :by Benedikt Bollig. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2006. - v.: digital

ISBN: 9783540329220 (paper)Subjects--Topical Terms:

253722
Software Engineering

LC Class. No.: QA76.9.D5 / B65 2006

Dewey Class. No.: 004

Formal Models of Communicating Systems :Languages, Automata, and Monadic Second-Order Logic /
LDR:00816nmm _22002175a_450 001 178198
003 Springer
005 20070821103632.0
006 m e
007 cr nn 008mamaa
008 090528s2006 gw j eng d
020 $a 9783540329220 (paper)
020 $a 9783540329237 (electronic bk.)
035 $a 00287110
050 1 4 $a QA76.9.D5 $b B65 2006
082 0 4 $2 22 $a 004
090 $a QA76.9.D5 $b B692 2006
100 0 $a Bollig, Benedikt. $3 260095
245 1 0 $a Formal Models of Communicating Systems : $b Languages, Automata, and Monadic Second-Order Logic / $c by Benedikt Bollig. $h [electronic resource] :
260 # $a Berlin, Heidelberg : $c 2006. $b Springer-Verlag Berlin Heidelberg,
300 $b v.: digital
650 # 0 $a Software Engineering $3 253722
650 # 0 $a Theory of Computation $3 253415
650 # 0 $a Computation by Abstract Devices $3 253713
650 # 0 $a Algorithm Analysis and Problem Complexity $3 253602
650 # 0 $a Computer Science $3 253538
650 # 0 $a Mathematical Logic and Formal Languages $3 253767
650 # 0 $a Information Systems and Communication Service $3 253323
650 # 0 $a Software engineering $3 253562
650 # 0 $a Information theory $3 253413
650 # 0 $a Computer science $3 252805
650 # 0 $a Computer software $3 252618
650 # 0 $a Information systems $3 253319
856 4 0 $u http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/3-540-32923-4 $z http://dx.doi.org/10.1007/3-540-32923-4
950 $a Computer Science (Springer-11645; ZDB-2-SCS)