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