Busquedas:
- Autor/Editor: Fan, Xiaopeng
- Autor/Editor: Ahissar, Ehud
- Autor/Editor: Lazić, Ranko
- Autor/Editor: Kitowski, Jacek
- Autor/Editor: Xu, Changsheng
- Autor/Editor: Neubauer, Matthias
- Autor/Editor: Müller, Christian
- Autor/Editor: Davis, Rob
- Autor/Editor: Milutinović, Veljko
- Autor/Editor: Sivaswamy, Jayanthi
- Autor/Editor: Boldini, Pascal
- Keyword: Economic Systems
- Keyword: Biological Networks
- Keyword: Mathematical models
- Keyword: Family
- Keyword: Energy Systems
- Keyword: Cultural and Media Studies
- Autor/Editor: NiÄković, Dejan
- Autor/Editor: Mayes, Robyn
- Autor/Editor: Giard, Pascal
- Autor/Editor: Heitmeyer, Constance
- Autor/Editor: Tschannenâ€Moran, Bob
- Autor/Editor: Jain, Ramesh
- Autor/Editor: Langdon, Melissa
- Autor/Editor: Peter, Loïc
- Autor/Editor: Valencia-García, Rafael
- Autor/Editor: Novák, Pavel
- Autor/Editor: Dorling, Alec
- Keyword: Electrical engineering
- Keyword: Urbanism
1/1
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
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-03418-4
ISSN-e: 1611-3349