Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach - Studies in Computational Intelligence - Wojciech Penczek - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540328698 - 26 juni 2006
Indien omslag en titel niet overeenkomen, is de titel correct

Wojciech Penczek
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach - Studies in Computational Intelligence 2006 edition

Prijs
€ 144,99

Besteld in een afgelegen magazijn

Verwachte levering 6 - 14 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

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.

257 pages, biography

Media Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 26 juni 2006
ISBN13 9783540328698
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 257
Afmetingen 210 × 297 × 17 mm   ·   585 g
Taal en grammatica Engels  

Meer door Wojciech Penczek

Alles tonen

Bekijk alles van Wojciech Penczek ( bijv. Paperback Book en Hardcover Book )