+1M libros, ¡a una página de distancia!
Bookbot

Computer verification of algorithms using a formal proof system

Compra de libros

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

Idioma
Publicado en
2010
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña