Resultados
|
1.
|
Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik Vink, Alessandra Pierro, Herbert Wiklicky. por
- Bernardo, Marco [editor.]
- Vink, Erik [editor.]
- Pierro, Alessandra [editor.]
- Wiklicky, Herbert [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7938
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
|
2.
|
|
|
3.
|
|