Plus d’un million de livres, à portée de main !
Bookbot

Computer verification of algorithms using a formal proof system

Achat du livre

Computer verification of algorithms using a formal proof system, Markus Kaiser

Langue
Année de publication
2010
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer