東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁 到查詢結果 [ subject:"Programming languages (Electronic computers)- Semantics" ]

切換: 標籤 | MARC模式 | ISBD

Predicate calculus and program seman...

~

Scholten, Carel S

FindBook

Google Book

Amazon

博客來

Predicate calculus and program semantics /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Predicate calculus and program semantics // Edsger W. Dijkstra, Carel S. Scholten
作者:	Dijkstra, Edsger Wybe
其他作者:	Scholten, Carel S
出版者:	New York :Springer-Verlag, : c1990.,
面頁冊數:	x, 220 p. :ill. ;25 cm.
附註:	Includes index
標題:	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

筆 0 讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

GW0022092

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

01.外借(書)_YB

一般圖書

QA9.35 D55 1990

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館

變更密碼

登入