Research Catalog

Syntaxe, sémantique et axiomatique d'un langage de programmation simple

Title
Syntaxe, sémantique et axiomatique d'un langage de programmation simple / Jean Vuillemin.
Author
Vuillemin, Jean
Publication
Basel ; Stuttgart : Birkhäuser, 1975.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Book/textRequest in advance JSD 77-601Offsite

Details

Description
113 p.; 23 cm.
Series Statement
ISR, Interdisciplinary systems research, 12
Subject
  • Programming languages (Electronic computers)
  • Logic, Symbolic and mathematical
Note
  • Includes indexes.
Bibliography (note)
  • Bibliography: p. 110-113.
Language (note)
  • Summary in English and French.
Call Number
JSD 77-601
ISBN
3764307900
LCCN
76461369
OCLC
  • 2051465
  • NYPG774531303-B
Author
Vuillemin, Jean.
Title
Syntaxe, sémantique et axiomatique d'un langage de programmation simple / Jean Vuillemin.
Imprint
Basel ; Stuttgart : Birkhäuser, 1975.
Series
ISR, Interdisciplinary systems research, 12
Bibliography
Bibliography: p. 110-113.
Language
Summary in English and French.
Research Call Number
JSD 77-601
View in Legacy Catalog