Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach | Kaicus Deutschland
All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
product image
product image
product image
product image

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

159.34 EUR 3% Off 164.99 EUR

Marke: Wojciech Penczek
MPN: 124 black & white illustrations, 124 bla
SKU: 124 black & white illustrations, 124 bla
ISBN: 3540328696
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
-3%

Gesponsert Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)

159.34 EUR 164.99 EUR
16-08-2026 08:48:00
Access to the deal

Gesponsert Advances in Verification of Time Petri Nets and Timed Automata

164.99 EUR 164.99 EUR
16-08-2026 13:54:24
Access to the deal

Ähnliche Produkte

Advances in Verification of Time Petri Nets and Timed Automata

152.06 EUR 164.99 EUR
Produkt anzeigen

Tool Support for System Specification Development and Verification

53.49 EUR 54.99 EUR
Produkt anzeigen

Verification and Evaluation of Computer and Communication Systems

58.84 EUR 65.00 EUR
Produkt anzeigen

Hardware Description Languages and their Applications: Specification, Modelling, Verification And Synthesis Of Microelectronic Systems

164.99 EUR
Produkt anzeigen