Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=016891988.

Theory of program structures [Texte imprimé] : schemes, semantics, verification / Sheila A. Greibach

Date :

Editeur / Publisher : Berlin : Springer-Verlag , cop.1975

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-387-07415-5

ISBN : 3-540-07415-5

Catalogue Worldcat

Classification Dewey : 001.6/42

Collection : Lecture notes in computer science / Berlin : Springer , 1973-