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

Date :

Type : Livre / Book

Langue / Language : français / French

ISBN : 2-04-010516-6

ISBN : 978-2-04-010516-7

EAN : 9782040105167

Programmation (informatique)

Classification Dewey : 620

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

Collection : Dunod informatique. Phase formation / Paris : Dunod , 1977-