Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Formato: | Libro |
---|---|
Lenguaje: | English |
Publicado: |
c2015.
|
Acceso en línea: | Ver documento en línea |
Ejemplares similares
-
Perspectives in Mathematical System Theory, Control, and Signal Processing : A Festschrift in Honor of Yutaka Yamamoto on the Occasion of his 60th Birthday /
Publicado: (2010) -
Provably Correct Systems /
Publicado: (2017) -
Cepas : studies presented to George Thomson on the occasion of his 60th birthday /
por: Varcl, Ladislav, et al.
Publicado: (1963) -
Correct by construction approaches for soc design /
Publicado: (2014) - Algorithms and applications : Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday.