Bøger af Agata Pólrola - plingboeger.dk

De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger

Levering: 1 - 2 hverdage

Populære

Advances in Verification of Time Petri Nets and Timed Automata

af Wojciech Penczek & Agata Pólrola

1.669,95 kr.
- Bog
- 1.669,95 kr.
Se mere
Advances in Verification of Time Petri Nets and Timed Automata

- A Temporal Logic Approach

af Wojciech Penczek & Agata Pólrola

1.728,95 kr.

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.
- Bog
- 1.728,95 kr.
Se mere