Buscar
Avanzada
Historial
Buscar Por:
Título
Autor/Editor
Todas las colecciones
Antropología
Arquitectura y diseño
Astronomía y astrofísica
Bibliotecología y Ciencia de la Información
Ciencia Política
Ciencias agrarias
Ciencias de la tierra y del espacio
Ciencias de la vida
Ciencias de las Artes y de las Letras
Ciencias económicas
Ciencias jurídicas y Derecho
Ciencias médicas
Ciencias tecnológicas
Computación
Demografía
Ética
Filosofía
Física
Geografía
Historia
Ingeniería
Lingüística
Lógica
Matemáticas
Pedagogía
Psicología
Química
Sociología
Colección
Busquedas:
Autor/Editor
: Vojnar, Tomáš
Autor/Editor
: Gannot, Sharon
Autor/Editor
: Váša, Libor
Autor/Editor
: Imrie, Rob
Keyword
: Communication Studies
Keyword
: Biological Networks
Autor/Editor
: Delibašić, Boris
Keyword
: Interdisciplinary Studies
Autor/Editor
: Riis, Jesper
Autor/Editor
: Kitowski, Jacek
Autor/Editor
: Milutinović, Veljko
Autor/Editor
: Neubauer, Matthias
Autor/Editor
: Ismail, Muhammad
Autor/Editor
: NiÄković, Dejan
Autor/Editor
: Prałat, Paweł
1/1
Refinement in Z and Object-Z
Autor/Editor:
Boiten, Eerke A.
-
Derrick, John
Año de edición:
2014
Acceso:
UBA
URL:
http://dx.doi.org/10.1007/978-1-4471-5355-9
Idioma:
inglés
Colección:
Computación
Keywords:
Mathematical Logic and Formal Languages
-
Software Engineering
Tipo de documento:
Monografía
Editor:
Springer London
ISBN-e:
978-1-4471-5355-9