Cargando…

Refinement Calculus : a Systematic Introduction.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Back, Ralph-Johan
Otros Autores: Gries, David, Schneider, Fred B.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York : Springer New York, 1998.
Edición:N.
Temas:
Acceso en línea:Texto completo

Ejemplares similares