El autor de Specification and Proof in Real Time CSP, con isbn 978-0-521-45055-3, es Kim Davies.
La obra Specification and Proof in Real Time CSP forma parte del catálogo de Ediciones Akal. Fue fundada a principio de la decada de los setenta y tiene su sede en Madrid. Dicha editorial tiene en su haber más de 3600 libros en catalogo. Aguilar, Edicions Voramar, Grup Promotor, Español Santillana-USAL, Punto de Lectura entre otros junto a Ediciones Akal pertenecen al grupo editorial AKAL. Dicha editorial tiene textos sobre todo de Ciencias Naturales Y Ténicas, Salud, Texto Escolar, Actualidad, Ficción... Diccionarios Técnicos, Oriente, Revoluciones, Historia De La Literatura, Artesanos Medievales... son algunos ejemplos de colecciones de Ediciones Akal. David García Aristegui, Grace Davie, Ingeborg Bachmann, Javier García Breva, Nacho Cagiga... son algunos de los autores que han publicado en la editorial.
El autor de Specification and Proof in Real Time CSP, con isbn 978-0-521-45055-3, es Kim Davies.
La obra Specification and Proof in Real Time CSP forma parte del catálogo de Ediciones Akal. Fue fundada a principio de la decada de los setenta y tiene su sede en Madrid. Dicha editorial tiene en su haber más de 3600 libros en catalogo. Aguilar, Edicions Voramar, Grup Promotor, Español Santillana-USAL, Punto de Lectura entre otros junto a Ediciones Akal pertenecen al grupo editorial AKAL. Dicha editorial tiene textos sobre todo de Ciencias Naturales Y Ténicas, Salud, Texto Escolar, Actualidad, Ficción... Diccionarios Técnicos, Oriente, Revoluciones, Historia De La Literatura, Artesanos Medievales... son algunos ejemplos de colecciones de Ediciones Akal. David García Aristegui, Grace Davie, Ingeborg Bachmann, Javier García Breva, Nacho Cagiga... son algunos de los autores que han publicado en la editorial.
Otros libros de Davies, Kim son Tarjetas Contra La Ansiedad, Mindfulness . 50 Ejercicios Para Mejorar La Concentracion Y Fomentar El Bienestar, Concepcion Natural Y Embarazo. G.c., Tahichi, The Murder Book: Understanding Homicide Today, Secrets Of Meditation, Practical Mindfulness: Simple Techniques To Become Calmer, Happier And More Focused In Daily Life y Specification And Proof In Real Time Csp. Ver su bibliografía.