Resultados
|
|
1.
|
Automotive Software – Connected Services in Mobile Networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger. por
- Broy, Manfred [editor.]
- Krüger, Ingolf H [editor.]
- Meisinger, Michael [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4147
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare. por
- Broy, Manfred [editor.]
- Grünbauer, Johannes [editor.]
- Harel, David [editor.]
- Hoare, Tony [editor.]
- SpringerLink (Servicio en línea)
Series NATO Science Series, Series II: Mathematics, Physics and Chemistry ; 195
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Dordrecht : Springer Netherlands, 2005
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
|
|
|
4.
|
Model-Based Testing of Reactive Systems : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner. por
- Broy, Manfred [editor.]
- Jonsson, Bengt [editor.]
- Katoen, Joost-Pieter [editor.]
- Leucker, Martin [editor.]
- Pretschner, Alexander [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3472
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
