國立高雄大學圖資館 |

登入

回首頁 到查詢結果 [ subject:"Logics and Meanings of Programs" ]

Concurrency Theory /Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Concurrency Theory /by Howard Bowman, Rodolfo Gomez.
其他題名:	Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
作者:	Bowman, Howard.
其他作者:	Gomez, Rodolfo.
出版者:	London :Springer-Verlag London Limited,2006.
面頁冊數:	v.: digital
標題:	Software engineering
電子資源:	http://dx.doi.org/10.1007/1-84628-336-1
ISBN:	9781846283369 (electronic bk.)

Concurrency Theory /Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
Bowman, Howard.

Concurrency Theory /Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /[electronic resource] :by Howard Bowman, Rodolfo Gomez. - London :Springer-Verlag London Limited,2006. - v.: digital

ISBN: 9781846283369 (electronic bk.)Subjects--Topical Terms:

253562
Software engineering

LC Class. No.: QA76.58 / .B69 2006

Dewey Class. No.: 004.01/5113

Concurrency Theory /Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
LDR:00823nmm _22002175a_450 001 178162
003 Springer
005 20070820151458.0
006 m e
007 cr nn 008mamaa
008 090528s2006 enk j eng d
020 $a 9781846283369 (electronic bk.)
020 $a 9781852338954 (paper)
035 $a 00287074
050 0 0 $a QA76.58 $b .B69 2006
082 0 0 $2 22 $a 004.01/5113
090 $a QA76.58 $b .B787 2006
100 0 $a Bowman, Howard. $3 260040
245 1 0 $a Concurrency Theory / $b Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / $c by Howard Bowman, Rodolfo Gomez. $h [electronic resource] :
260 # $a London : $c 2006. $b Springer-Verlag London Limited,
300 $b v.: digital
650 # 0 $a Software engineering $3 253562
650 # 0 $a Logic design $3 253765
650 # 0 $a Computer Science $3 253538
650 # 0 $a Software Engineering $3 253722
650 # 0 $a Logics and Meanings of Programs $3 253766
700 0 # $a Gomez, Rodolfo. $3 260039
856 4 0 $u http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/1-84628-336-1 $z http://dx.doi.org/10.1007/1-84628-336-1
950 $a Computer Science (Springer-11645; ZDB-2-SCS)