Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence - Wojciech Penczek - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783642069420 - 25 novembre 2010
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 143,99

Commandé depuis un entrepôt distant

Livraison prévue 8 - 16 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 25 novembre 2010
ISBN13 9783642069420
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 257
Dimensions 156 × 234 × 15 mm   ·   412 g
Langue et grammaire Anglais  

Plus par Wojciech Penczek

Afficher tout

Voir tous les Wojciech Penczek ( par ex. Paperback Book et Hardcover Book )