Computer programming and formal systems /

by Braffort, P.

Normal View ISBD View

Authors: Hirschberg, D. Series: Studies in logic and the foundations of mathematics Published by : North-Holland, (Amsterdam : ) Physical details: VI, 161 p. ; 23 cm. Year : 1963

No tags for this title. Log in to add tags.

Holdings ( 1 )
Descriptions
Comments

Item type	Location	Call Number	Copy	Status	Date Due
Books	Istituto di Ingegneria Biomedica	QA76.7.B63L (Browse Shelf)	1	Available

Browsing Istituto di Ingegneria Biomedica Shelves Close Shelf Browser


	QA76.7.B28Program construction and verification /	QA76.7.B3Syntax of programming languages : theory and practice /	QA76.7.B46Understanding programming languages /	QA76.7.B63LComputer programming and formal systems /	QA76.7.C57Grammars for programming languages /	QA76.7.C68Formal semantics of programming languages /