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: 152.99 EUR
Availability: OutOfStock
Author: Wojciech Penczek

Cena

€ 152,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 29. okt. - . gada 6. nov.

Saņemiet paziņojumus par jauniem Wojciech Penczek izdevumiem

Mūsu klienti saka:

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

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

Hardcover Book

2006 edition

(2006) € 152,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

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2010. gada 25. novembris
ISBN13	9783642069420
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	257
Izmēri	156 × 234 × 15 mm · 412 g
Valoda	Angļu