Busquedas:
- Autor/Editor: Fuller, Nicholas C.
- Autor/Editor: Dada,Joseph O.
- Autor/Editor: Kazar, Baris M.
- Autor/Editor: Zimmermann, Wolf
- Autor/Editor: Gaborit, Philippe
- Autor/Editor: Schaevitz, Rachel J.
- Autor/Editor: Groves, David I.
- Autor/Editor: Tramp, Sebastian
- Autor/Editor: Hamazu, Kyosuke
- Autor/Editor: LaPointe, Michelle
- Keyword: Biology
- Autor/Editor: Condon, Anne
- Autor/Editor: Galton, Antony
- Autor/Editor: Aggrawal, A.
- Autor/Editor: Heap, Peter C.
- Autor/Editor: Kamimura, Shinji
1/1
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor: Ait Ameur, Yamine - Schewe, Klaus-Dieter
Año de edición: 2014
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Computation by Abstract Devices - Logics and Meanings of Programs - Mathematical Logic and Formal Languages
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 8477
Tipo de documento: Reunión
Editor: Springer
ISBN-e: 978-3-662-43652-3
ISSN-e: 1611-3349