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=000231142.

Théorie des programmes : schémas, preuves, sémantique / par C. Livercy,... ; Préface du professeur C. Pair,...

Date :

Editeur / Publisher : Paris : Dunod , DL 1978

Type : Livre / Book

Langue / Language : français / French

ISBN : 2-04-010516-6

ISBN : 978-2-04-010516-7

Catalogue Worldcat

EAN : 9782040105167

Ordinateurs -- Programmation

Classification Dewey : 620

Paire, C. (Préfacier, etc. / author of introd)

Collection : Dunod informatique. Phase formation [Texte imprimé] / Paris : Dunod , 1977-