El libro está agotado actualmente

Program verification in synthetic domain theory

Autores

Bernhard Reus

Parámetros

Informática, IT, Programación

Compra de libros

Program verification in synthetic domain theory, Bernhard Reus

Idioma
Publicado en: 1996

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

Métodos de pago

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

Detalles de la ediciónSugerir una corrección