國立高雄大學圖資館 |

登入

回首頁

A Practical Theory of Reactive Systems :Incremental Modeling of Dynamic Behaviors /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	A Practical Theory of Reactive Systems :by Reino Kurki-Suonio.
其他題名:	Incremental Modeling of Dynamic Behaviors /
作者:	Kurki-Suonio, Reino.
出版者:	Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2005.
面頁冊數:	v.: digital
叢書名:	Texts in Theoretical Computer Science An EATCS Series
標題:	Software Engineering
電子資源:	http://dx.doi.org/10.1007/b138956
ISBN:	9783540233428 (paper)

A Practical Theory of Reactive Systems :Incremental Modeling of Dynamic Behaviors /
Kurki-Suonio, Reino.

A Practical Theory of Reactive Systems :Incremental Modeling of Dynamic Behaviors /[electronic resource] :by Reino Kurki-Suonio. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2005. - v.: digital - Texts in Theoretical Computer Science An EATCS Series.

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

253722
Software Engineering

LC Class. No.: QA76.76.D47 / K87 2005

Dewey Class. No.: 005.1

A Practical Theory of Reactive Systems :Incremental Modeling of Dynamic Behaviors /
LDR:00872nmm _22002295a_450 001 176062
003 Springer
005 20070808114125.0
006 m e
007 cr nn 008mamaa
008 090528s2005 gw j eng d
020 $a 9783540233428 (paper)
020 $a 9783540273486 (electronic bk.)
035 $a 00280582
050 0 0 $a QA76.76.D47 $b K87 2005
082 0 0 $2 22 $a 005.1
090 $a QA76.76.D47 $b K96 2005
100 0 $a Kurki-Suonio, Reino. $3 256032
245 1 2 $a A Practical Theory of Reactive Systems : $b Incremental Modeling of Dynamic Behaviors / $c by Reino Kurki-Suonio. $h [electronic resource] :
260 # $a Berlin, Heidelberg : $c 2005. $b Springer-Verlag Berlin Heidelberg,
300 $b v.: digital
440 0 $a Texts in Theoretical Computer Science An EATCS Series
650 # 0 $a Software Engineering $3 253722
650 # 0 $a Logics and Meanings of Programs $3 253766
650 # 0 $a Software engineering $3 253562
650 # 0 $a Logic design $3 253765
650 # 0 $a Computer Science $3 253538
856 4 0 $u http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/b138956 $z http://dx.doi.org/10.1007/b138956
950 $a Computer Science (Springer-11645; ZDB-2-SCS)