東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Predicate calculus and program seman...

~

Scholten, Carel S

Linked to FindBook

Google Book

Amazon

博客來

Predicate calculus and program semantics /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Predicate calculus and program semantics // Edsger W. Dijkstra, Carel S. Scholten
Author:	Dijkstra, Edsger Wybe
other author:	Scholten, Carel S
Published:	New York :Springer-Verlag, : c1990.,
Description:	x, 220 p. :ill. ;25 cm.
Notes:	Includes index
Subject:	Predicate calculus -
ISBN:	0387969578

Predicate calculus and program semantics /
Dijkstra, Edsger Wybe

Predicate calculus and program semantics /Edsger W. Dijkstra, Carel S. Scholten - New York :Springer-Verlag,c1990. - x, 220 p. :ill. ;25 cm. - Texts and monographs in computer science. - Texts and monographs in computer science..

Includes index

ISBN: 0387969578

LCCN: 89011540Subjects--Topical Terms:

3357496
Predicate calculus

LC Class. No.: QA9.35 / .D55 1990

Dewey Class. No.: 511.3

Predicate calculus and program semantics /
LDR:00600cam 2200193 a 4500 001 2167632
008 190523s1990 nyua 00110 eng
010 $a 89011540
020 $a 0387969578 $q (hbk.)
020 $a 9780387969572 $q (hbk.)
020 $a 3540969578 $q (hbk.)
020 $a 9783540969570 $q (hbk.)
040 $a DLC $b eng
050 0 0 $a QA9.35 $b .D55 1990
082 0 0 $a 511.3 $2 20
100 1 0 $a Dijkstra, Edsger Wybe $3 3357494
245 1 0 $a Predicate calculus and program semantics / $c Edsger W. Dijkstra, Carel S. Scholten
260 # $a New York : $b Springer-Verlag, $c c1990.
300 $a x, 220 p. : $b ill. ; $c 25 cm.
490 1 $a Texts and monographs in computer science
500 $a Includes index
650 # 0 $a Predicate calculus $3 3357496
650 # 0 $a Programming languages (Electronic computers) $x Semantics $v Congresses. $3 844799
700 1 # $a Scholten, Carel S $3 3357495
830 0 $a Texts and monographs in computer science. $3 3357497

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

GW0022092

六樓西文書區HC-Z(6F Western Language Books)

01.外借(書)_YB

一般圖書

QA9.35 D55 1990

一般使用(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