Name: Advances in Verification of Time Petri Nets and Timed Automata
Price: 1714.95 DKK
Availability: InStock
Author: Wojciech Penczek
ISBN: 9783540328698

Advances in Verification of Time Petri Nets and Timed Automata af Wojciech Penczek

Du sparer 0% ift. normalprisen Spar 0%

Hardback
2-3 uger
1.714,95 kr.

Bag om Advances in Verification of Time Petri Nets and Timed Automata

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.

Vis mere

Sprog:
Engelsk

ISBN:
9783540328698

Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Indbinding:
Hardback

Sideantal:
257

Udgivet:
26. Juni 2006

Udgave:
2006

Størrelse:
297x210x17 mm.

Vægt:
1290 g.

Leveringstid: 2-3 uger.
Forventet levering: 16. Juli 2024

På lager

Normalpris

1.714,95 kr. + Fragt
~~1.714,95 kr.~~

Medlemspris

1.664,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Wojciech Penczek

Vis alle bøger af Wojciech Penczek

Beskrivelse af Advances in Verification of Time Petri Nets and Timed Automata

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.

Brugerbedømmelser af Advances in Verification of Time Petri Nets and Timed Automata

Andre købte også..

Find lignende bøger

Bogen Advances in Verification of Time Petri Nets and Timed Automata findes i følgende kategorier:

Business og læring

Advances in Verification of Time Petri Nets and Timed Automata - Wojciech Penczek - Bog

Bag om Wojciech Penczek

Beskrivelse af Advances in Verification of Time Petri Nets and Timed Automata

Brugerbedømmelser af Advances in Verification of Time Petri Nets and Timed Automata

Gør som tusindvis af andre bogelskere