De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
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

- 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.
  • 27. november 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: