Busquedas:
- Keyword: Statistics for Life Sciences
- Autor/Editor: Tim Prizeman
- Autor/Editor: Cong, Fengyu
- Keyword: Environmental Health
- Keyword: Developmental Psychology
- Autor/Editor: Bagdasar, Ovidiu
- Keyword: Religious Studies
- Autor/Editor: Combemale, Benoît
- Autor/Editor: Weil, Pascal
- Autor/Editor: Hoßfeld, Tobias
- Autor/Editor: Platzer, André
- Autor/Editor: Inomata, Atsuo
- Autor/Editor: Liu, Chenglin
- Autor/Editor: Mahmoud, Sayed
- Autor/Editor: Pánek, Tomáš
- Autor/Editor: Yueming, Lu
- Autor/Editor: Robshaw, Matthew
- Autor/Editor: Perez, Pascal
- Autor/Editor: Scheunders, Paul
- Autor/Editor: Altić, Mirela
- Autor/Editor: Shorey, Rajeev
- Autor/Editor: Jiang, Xiaoyi
- Autor/Editor: Németh, Károly
- Keyword: Environmental Communication
1/1
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Autor/Editor: Margaria, Tiziana - Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Computer Science - Software Engineering - Programming Languages - Compilers - Interpreters - Theory of Computation - Computer Systems Organization and Communication Ne - The Computing Profession
Título de la Serie: Lecture Notes in Computer Science
Tipo de documento: Reunión
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-030-03421-4
ISSN-e: 1611-3349