Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series - Klaus Schneider - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540002963 - 16 de octubre de 2003
En caso de que portada y título no coincidan, el título será el correcto

Klaus Schneider
Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series 2004 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de jun. - 2 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 various important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes verification procedures for them. This title discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses.

620 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 16 de octubre de 2003
ISBN13 9783540002963
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 620
Dimensiones 156 × 234 × 33 mm   ·   1,20 kg
Lengua Alemán  

Mere med samme udgiver

Ver todo de Klaus Schneider ( Ej. Paperback Book , 12" y Hardcover Book )