Busquedas:
- Keyword: Political Science and International Relations
- Keyword: Popular Science
- Autor/Editor: Ligęza, Antoni
- Autor/Editor: Naor, Moni
- Autor/Editor: Long Jr., R. Thomas
- Autor/Editor: Mäkinen, Veli
- Keyword: Environmental Chemistry
- Autor/Editor: Blesa, Maria J.
- Keyword: Business Strategy/Leadership
- Autor/Editor: Wißotzki, Matthias
- Autor/Editor: Recalde, HeÌctor
- Autor/Editor: Loiseau, Stephane
- Colección: Ciencias de la vida
- Keyword: Energy Technology
- Keyword: Ecotoxicology
1/1
Formal Modeling and Verification of Cyber-Physical Systems
Autor/Editor: Drechsler, Rolf - Kühne, Ulrich
Año de edición: 2015
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Computer System Implementation - Computer Hardware - Simulation and Modeling - Circuits and Systems - Control - Robotics - Mechatronics - Aerospace Technology and Astronautics
Tipo de documento: Monografía
Editor: Springer Fachmedien Wiesbaden
ISBN-e: 978-3-658-09994-7