國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

The temporal logic of reactive and c...

~

Manna, Zohar

The temporal logic of reactive and concurrent systems

Record Type:	Language materials, printed : monographic
Author:	MannaZohar,
Secondary Intellectual Responsibility:	PnueliA,
Place of Publication:	New York
Published:	Springer-Verlag;
Year of Publication:	c1992
Description:	v. <1 >ill : 25 cm;
Subject:	Logic, Symbolic and mathematical -
Subject:	Electronic digital computers - Programming -
ISBN:	0387976647
Content Note:	[1] Specification

The temporal logic of reactive and concurrent systems
Manna, Zohar

The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli - New York : Springer-Verlag, c1992. - v. <1 > ; ill ; 25 cm.
[1] Specification.
Includes bibliographical references (p. 389-401) and indexes.
ISBN 0387976647ISBN 3540976647
Logic, Symbolic and mathematicalElectronic digital computers -- Programming

Pnueli, A

The temporal logic of reactive and concurrent systems
LDR:00787cam 2200241 i 450 001 436452
005 20101024003219.0
009 a91028181
010 1 $a 0387976647 $b (New York : v.1, hard)
010 1 $a 3540976647 $b (Berlin : v. 1)
100 $a 20080130d1992 m y0engy01 b
101 0 $a eng
200 1 $a The temporal logic of reactive and concurrent systems $f Zohar Manna, Amir Pnueli
210 $a New York $d c1992 $c Springer-Verlag
215 0 $a v. <1 > $c ill $d 25 cm
320 $a Includes bibliographical references (p. 389-401) and indexes
327 0 $a [1] Specification
606 $a Logic, Symbolic and mathematical $3 397502 $2 lc $3 724080
606 $a Electronic digital computers $x Programming $3 394255 $2 lc $3 724076
676 $a 005.1 $b M281
676 $a 005.1 $v 20
680 $a QA76.6 $b M3564 1991
700 $a Manna $b Zohar $3 415412
702 $a Pnueli $b A $3 415413
801 0 $b DLC
801 0 $a cw $b BIB $c 19980706
801 1 $a cw $b national library $c 19980706
801 1 $a cw $b 國立國立虎尾科技大學圖書館 $c 19980811 $g CCR

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E018533

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

005.1 M281 v.1

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login