國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

The deductive foundations of compute...

~

Manna, Zohar.

The deductive foundations of computer programming /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	The deductive foundations of computer programming /Zohar Manna, Richard Waldinger.
Author:	Manna, Zohar.
other author:	Waldinger, Richard.
Published:	Reading, Mass. :Addison-Wesley Pub. Co.,1993.
Description:	xiv,717 p.;24 cm.
Subject:	Logic, Symbolic and mathematical.
ISBN:	0201548860

The deductive foundations of computer programming /
Manna, Zohar.

The deductive foundations of computer programming /Zohar Manna, Richard Waldinger. - Reading, Mass. :Addison-Wesley Pub. Co.,1993. - xiv,717 p.;24 cm.

Includes bibliographical references and indexes.

ISBN: 0201548860

LCCN: 90001235Subjects--Topical Terms:

180452
Logic, Symbolic and mathematical.

LC Class. No.: QA76.6 / M35595

The deductive foundations of computer programming /
LDR:00537cam 22001818a 450 001 157440
005 19920810120000.8
005 920810120000.8
008 090528s1993 mau b 00110 eng
010 $a 90001235
020 $a 0201548860
035 $a 00106491
040 $a DLC $c DLC $d DLC
050 4 $a QA76.6 $b M35595
100 $a Manna, Zohar. $3 217312
245 1 4 $a The deductive foundations of computer programming / $c Zohar Manna, Richard Waldinger.
260 0 $a Reading, Mass. : $c 1993. $b Addison-Wesley Pub. Co.,
263 $a 9312.
300 $a xiv,717 p.; $c 24 cm.
504 $a Includes bibliographical references and indexes.
650 $a Logic, Symbolic and mathematical. $3 180452
650 $a Electronic digital computers $x Programming. $3 216146
700 $a Waldinger, Richard. $3 217311

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

320000257149

西方語文圖書區(四樓)

1圖書

一般圖書

QA76.6 M35595 1993

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