Cargando…
Modeled, tested, trusted: essays dedicated to Ed Brinksma on the occasion of his 60th birthday
Autores principales: | Katoen, Joost-Pieter, Langerak, Rom, Rensink, Arend |
---|---|
Lenguaje: | eng |
Publicado: |
Springer International Publishing AG
2017
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2761290 |
Ejemplares similares
-
Inspired by nature: essays presented to Julian F. Miller on the occasion of his 60th birthday
por: Stepney, Susan, et al.
Publicado: (2017) -
Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
por: Probst, Christian W, et al.
Publicado: (2015) -
Computability and complexity: essays dedicated to Rodney G. Downey on the occasion of his 60th birthday
por: Day, Adam, et al.
Publicado: (2016) -
Models, mindsets, meta: essays dedicated to Bernhard Steffen on the occasion of his 60th birthday
por: Margaria, Tiziana, et al.
Publicado: (2019) -
Principles of modeling: essays dedicated to Edward A. Lee on the occasion of his 60th birthday
por: Lohstroh, Marten, et al.
Publicado: (2018)