Refinement Calculus : a Systematic Introduction.
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
-
Discrete Calculus By Analogy.
por: Izadi, F. A., et al.
Publicado: (2009) -
Quick Calculus : a Self-Teaching Guide.
por: Kleppner, Daniel
Publicado: (2022) -
Projects for calculus : the language of change /
por: Stroyan, K. D.
Publicado: (1999) -
Lambda-calculus and combinators, an introduction /
por: Hindley, J. Roger
Publicado: (2008) -
Discrete calculus by analogy /
por: Izadi, F. A.
Publicado: (2009)