Bookbot

Temporal Verification of Reactive Systems

Safety

Autores

  • Autores varios

Valoración del libro

Compra de libros

Temporal Verification of Reactive Systems, Autores varios

Idioma
Publicado en
1995
product-detail.submit-box.info.binding
(Tapa dura)
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

4,5
Muy bueno
2 Valoraciones

Nos falta tu reseña aquí

Título
Temporal Verification of Reactive Systems
Subtítulo
Safety
Idioma
Inglés
Editorial
Springer
Publicado en
1995
Formato
Tapa dura
Páginas
530
ISBN10
0387944591
ISBN13
9780387944593
Serie
Calificación
4,5 de 5