Interactive Theorem Proving And Program Development

Bertot, Yves/ CastTran, Pierre/ Huet, Gerard (FRW)

Editora: Springer-Verlag New York Inc
ISBN: 3540208542
Número de páginas: 468
Acabamento: 
HARDCOVER
Local de Publicação: loja Western Europe