Specification and Proof in Real Time CSP
Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP

Davies, Jim

IBD
Editorial:
Cambridge University Press
ISBN:
978-0-521-45055-3
Materias:
Editorial:
Cambridge University Press
Encuadernación:
Cartoné
País de publicación :
España
Idioma de publicación :
Inglés
ISBN:
978-0-521-45055-3
EAN:
9780521450553
Dimensiones:
2540 x 1780 mm.
Peso:
568 gramos
Nº páginas:
200
Fecha publicación :
20-05-1993
151,63€
(145,80€ sin IVA)
Comprar Reservar y recoge en tu librería preferida
Disponible en 22 librerías

Dónde encontrar "Specification and Proof in Real Time CSP"

Stock en librería
Disponible en 2-3 Días

Disponible en 22 librerías

    Sinopsis

    Sinopsis de: "Specification and Proof in Real Time CSP"

    Información no disponible
    Más sobre

    Davies, Jim

    Información sobre el autor no disponible


    Más títulos de Davies, Jim
    Los lectores opinan

    Valoraciones y comentarios

    No hay comentarios, sé el primero en comentar

    Añadir comentario
    También te puede interesar

    Libros relacionados