Abstract implementations and correctness proofs / Gilles Bernot, Michel Bidoit, Christine Choppy

Date :

Editeur / Publisher : Orsay : LRI , 1985

Type : Livre / Book

Langue / Language : anglais / English

Choppy, Christine (19..-.... ; professeur en informatique) (Fonction à préciser / indeterminate function)