新生學校財團法人新生醫護管理專科學校圖書館 |

Language: English

Back

A Practical Theory of Reactive Syste...

SpringerLink (Online service)

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

Record Type:	Electronic resources : Monographic component part
Title/Author:	A Practical Theory of Reactive Systems/ by Reino Kurki-Suonio.
Reminder of title:	Incremental Modeling of Dynamic Behaviors /
Author:	Kurki-Suonio, Reino.
Published:	Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg, : 2005.,
Description:	xxi, 418 p. :ill., digital ; : 25 cm.;
Series:	Texts in Theoretical Computer Science An EATCS Series
Contained By:	Springer e-books
Subject:	Computer software - Development. -
Online resource:	http://dx.doi.org/10.1007/b138956
ISBN:	9783540273486 (electronic bk.)

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

A Practical Theory of Reactive SystemsIncremental Modeling of Dynamic Behaviors /[electronic resource] :by Reino Kurki-Suonio. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2005. - xxi, 418 p. :ill., digital ;25 cm. - Texts in Theoretical Computer Science An EATCS Series.

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

87000
Computer software
--Development.

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:00870nma a22002415a 4500 001 81595
003 Springer
005 20071105110433.0
006 m d
007 cr nn 008maaau
008 100601s2005 gw j eng d
020 $a 9783540273486 (electronic bk.)
020 $a 9783540233428 (paper)
035 $a 978-3-540-23342-8
050 0 0 $a QA76.76.D47 $b K87 2005
082 0 0 $a 005.1 $2 22
090 $a QA76.76.D47 $b K96 2005
100 1 $a Kurki-Suonio, Reino. $3 132398
245 1 2 $a A Practical Theory of Reactive Systems $h [electronic resource] : $b Incremental Modeling of Dynamic Behaviors / $c by Reino Kurki-Suonio.
260 $a Berlin, Heidelberg : $c 2005. $b Springer-Verlag Berlin Heidelberg,
300 $a xxi, 418 p. : $b ill., digital ; $c 25 cm.
440 0 $a Texts in Theoretical Computer Science An EATCS Series
650 0 $a Computer software $x Development. $3 87000
650 0 $a System design. $3 88697
650 1 4 $a Computer Science. $3 120417
650 2 4 $a Software Engineering. $3 121004
650 2 4 $a Logics and Meanings of Programs. $3 122248
710 2 $a SpringerLink (Online service) $3 120363
773 0 $t Springer e-books
856 4 0 $u http://dx.doi.org/10.1007/b138956
950 $a Computer Science (Springer-11645; ZDB-2-SCS)

Multimedia

Reviews

Export

pickup library