國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Computer programming and formal systems

~

Braffort, P.

Computer programming and formal systems

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Computer programming and formal systems/ edited by P. Braffort and D. Hirschberg.
Author:	Braffort, P.
other author:	Hirschberg, D.
Published:	Amsterdam :North-Holland Pub. Co., : 1963.,
Description:	vi, 161 p. :ill. ; : 24 cm.;
Subject:	Computer programming. -
Online resource:	click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:	9780444534002 (electronic bk.)

Computer programming and formal systems
Braffort, P.

Computer programming and formal systems[electronic resource] /edited by P. Braffort and D. Hirschberg. - Amsterdam :North-Holland Pub. Co.,1963. - vi, 161 p. :ill. ;24 cm. - Studies in logic and the foundations of mathematics. - Studies in logic and the foundations of mathematics..

Includes bibliographical references.

ISBN: 9780444534002 (electronic bk.) Subjects--Topical Terms:

527822
Computer programming.

LC Class. No.: QA76 / .B7

Dewey Class. No.: 519.92

Computer programming and formal systems
LDR:00821nam a2200205 a 4500 001 807602
005 20130402164052.0
008 150720s1963 ne a sb 000 0 eng d
020 $a 9780444534002 (electronic bk.)
020 $a 9780444534002
035 $a 13000709
040 $a OCLCE $b eng $c OCLCE $d OCLCQ $d OPELS $d OCLCQ
041 0 $a eng
050 4 $a QA76 $b .B7
082 0 4 $a 519.92
100 1 $a Braffort, P. $q (Paul) $3 903066
245 1 0 $a Computer programming and formal systems $h [electronic resource] / $c edited by P. Braffort and D. Hirschberg.
260 $a Amsterdam : $b North-Holland Pub. Co., $c 1963.
300 $a vi, 161 p. : $b ill. ; $c 24 cm.
490 1 $a Studies in logic and the foundations of mathematics
504 $a Includes bibliographical references.
650 0 $a Computer programming. $3 527822
700 1 $a Hirschberg, D. $q (David) $3 903067
830 0 $a Studies in logic and the foundations of mathematics. $3 901608
856 4 0 $u http://www.sciencedirect.com/science/book/9780444534002 $z click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login