Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por autor: Jones, Cliff B.
Resultado 1 de 2
 
e-book

Formal Methods and Hybrid Real-Time Systems : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.

v.: digital

Serie: Lecture Notes in Computer Science, ISSN 0302-9743 ; 4700

ISBN: 9783540752219

 
Registro springer:978-3-540-75220-2 · Modificado: 25/04/2011

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos