Specification and Compositional Verification of Real-time Systems - Lecture Notes in Computer Science - Hooman, Jozef (Katholieke Universiteit Nijmegen, the Netherlands) - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540549475 - 27 de noviembre de 1991
En caso de que portada y título no coincidan, el título será el correcto

Hooman, Jozef (Katholieke Universiteit Nijmegen, the Netherlands)
Specification and Compositional Verification of Real-time Systems - Lecture Notes in Computer Science 1991 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Presents two formal methods for the specification and compositional verification of real-time systems, which include a real-time extension of temporal logic and the other based on extended Hoare triples.

242 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 27 de noviembre de 1991
ISBN13 9783540549475
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 242
Dimensiones 156 × 234 × 13 mm   ·   358 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Hooman, Jozef (Katholieke Universiteit Nijmegen, the Netherlands) ( Ej. Paperback Book )