國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Lectures on the logic of computer programming

Record Type:	Electronic resources : Monograph/item
Title/Author:	Lectures on the logic of computer programmingZohar Manna.
Author:	Manna, Zohar.
Published:	Philadelphia, Pa. :Society for Industrial and Applied Mathematics,1980.
Description:	iv, 49 p. ;25 cm.
Subject:	Computer programming.
Online resource:	http://www.igpublish.com/siam-ebook/search.nsp?query0=0-89871-164-9&field0=ISBN
ISBN:	0898711649

Lectures on the logic of computer programming
Manna, Zohar.

Lectures on the logic of computer programming[electronic resource] /Zohar Manna. - Philadelphia, Pa. :Society for Industrial and Applied Mathematics,1980. - iv, 49 p. ;25 cm. - CBMS-NSF regional conference series in applied mathematics ;31.. - CBMS-NSF regional conference series in applied mathematics ;33..

Bibliography: p. 49.

ISBN: 0898711649Subjects--Topical Terms:

181992
Computer programming.

LC Class. No.: QA76.6 / .M3559

Dewey Class. No.: 001.64/2

Lectures on the logic of computer programming
LDR:00701nmm _2200157 i_450 001 187579
008 090528s1980 paum b a00010 eng
020 $a 0898711649
035 $a 00338470
050 # 0 $a QA76.6 $b .M3559
082 0 0 $2 19 $a 001.64/2
100 0 $a Manna, Zohar. $3 217312
245 1 0 $a Lectures on the logic of computer programming $c Zohar Manna. $h [electronic resource] /
260 # $a Philadelphia, Pa. : $c 1980. $b Society for Industrial and Applied Mathematics,
300 $a iv, 49 p. ; $c 25 cm.
490 1 $a CBMS-NSF regional conference series in applied mathematics ; $v 31.
504 $a Bibliography: p. 49.
650 # 0 $a Computer programming. $3 181992
650 # 0 $a Logic, Symbolic and mathematical. $3 180452
830 0 $a CBMS-NSF regional conference series in applied mathematics ; $v 33. $3 442947
856 4 # $u http://libsw.nuk.edu.tw/login?url=http://www.igpublish.com/siam-ebook/search.nsp?query0=0-89871-164-9&field0=ISBN $z http://www.igpublish.com/siam-ebook/search.nsp?query0=0-89871-164-9&field0=ISBN

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

000000012771

電子館藏

1圖書

電子書

EB QA76.6 M281 1980

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Multimedia file
http://libsw.nuk.edu.tw/login?url=http://www.igpublish.com/siam-ebook/search.nsp?query0=0-89871-164-9&field0=ISBN

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login