tools and algorithms for the construction and analysis of systems: 13th international conference, tacas 2007 held as part of the joint european confer (en Inglés)
grumberg, orna
tools and algorithms for the construction and analysis of systems: 13th international conference, tacas 2007 held as part of the joint european confer (en Inglés)
Grumberg, Orna (Autor) · springer · Libro Físico
$ 198.610
$ 275.850
Ahorras: $ 77.240
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
Ir a Mis Listastools and algorithms for the construction and analysis of systems: 13th international conference, tacas 2007 held as part of the joint european confer (en Inglés)
grumberg, orna
¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.
