Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Forlænget returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Advances in Verification of Time Petri Nets and Timed Automata

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

- A Temporal Logic Approach

af Wojciech Penczek, Agata Pólrola

indgår i Studies in Computational Intelligence serien

Advances in Verification of Time Petri Nets and Timed Automata af Wojciech Penczek
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
  • Indbinding:
  • Hardback
  • Sideantal:
  • 257
  • Udgivet:
  • 26. juni 2006
  • Udgave:
  • 2006
  • Størrelse:
  • 297x210x17 mm.
  • Vægt:
  • 1290 g.
  • 8-11 hverdage.
  • 16. januar 2025
På lager
Forlænget returret til d. 31. januar 2025
  •  

    Kan ikke leveres inden jul.
    Køb nu og print et gavebevis

Normalpris

Medlemspris

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:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.