Wojciech Penczek
Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence Wojciech Penczek 1st Ed. Softcover of Orig. Ed. 2006 edition

Name: Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence
Price: 158.99 USD
Availability: OutOfStock
Author: Wojciech Penczek

Precio

$ 158,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

También disponible como:

Hardcover Book

2006 edition

(2006) $ 158,99

Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence

Wojciech Penczek

1st Ed. Softcover of Orig. Ed. 2006 edition

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.

257 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	25 de noviembre de 2010
ISBN13	9783642069420
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	257
Dimensiones	156 × 234 × 15 mm · 412 g
Lengua	Inglés