醒吾科技大學圖書館 |

[NT 42591] Language: Francais

[NT 5480] Login

[NT 5635] Back

[NT 59884] Switch To: [NT 5556] Labeled | [NT 5559] MARC Mode | [NT 33762] ISBD

The deductive foundations of computer programming

[NT 42944] Record Type:	[NT 1579] Language materials, printed : [NT 40817] monographic
[NT 47261] Author:	MannaZohar,
[NT 47353] Alternative Intellectual Responsibility:	WaldingerRichard,
[NT 47351] Place of Publication:	United States
[NT 47263] Published:	Addison Wesley;
[NT 47352] Year of Publication:	c1993
[NT 47264] Description:	717 p.24 cm.;
[NT 47298] Series:	Includes bibliographical referencs(p.673)and indexes
[NT 47266] Subject:	Logic,Symbolic and mathemaatical. -
[NT 47266] Subject:	Electronic digital computers - Programming -
[NT 50961] ISBN:	0-201-54886-0

The deductive foundations of computer programming
Manna, Zohar

The deductive foundations of computer programming / Zohar Manna,Richard Waldinger. - United States : Addison Wesley, c1993. - 717 p. ; 24 cm.. - (Includes bibliographical referencs(p.673)and indexes).
ISBN 0-201-54886-0
Logic,Symbolic and mathemaatical.Electronic digital computers -- Programming

Waldinger, Richard

The deductive foundations of computer programming
LDR:00417nam0 2200133 i 450 001 124634
005 20120618114400.0
010 $a 0-201-54886-0 $b hbk.
100 $a 20071107d1993 yamy0 b
101 $a eng
102 $a us
200 $a The deductive foundations of computer programming $f Zohar Manna,Richard Waldinger.
210 $a United States $d c1993 $c Addison Wesley
215 $a 717 p. $d 24 cm.
225 $a Includes bibliographical referencs(p.673)and indexes
606 $a Logic,Symbolic and mathemaatical. $3 107810 $3 221076
606 $a Electronic digital computers $x Programming $3 38268 $3 219776
700 $a Manna $b Zohar $3 106273
701 $a Waldinger $b Richard $3 106274

[NT 59758] based on 0 [NT 59757] review(s)

[NT 42818] Items

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 5501718] Search Note

[NT 5000115] Inventory Number

[NT 7898] Location Name

[NT 7947] Item Class

[NT 33989] Material type

[NT 43385] Call number

[NT 5501238] Usage Class

[NT 45600] Loan Status

[NT 48088] No. of reservations

[NT 52971] Opac note

[NT 46641] Attachments

[NT 5502] Print

00203917

4樓西文圖書區

一般圖書

一般圖書

519.7 M282

一般使用(Normal)

[NT 41737] On shelf

0

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 59725] Reviews

[NT 59886] Add a review [NT 59885] and share your thoughts with other readers

Export

[NT 5501410] pickup library

[NT 48336] Change password

[NT 5480] Login