Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Studiebog DRM-beskyttet
PDF version af Advances in Verification of Time Petri Nets and Timed Automata af Agata Pólrola, Wojciech Penczek

Advances in Verification of Time Petri Nets and Timed Automata

- A Temporal Logic Approach

Af
Bog E-bog
  • Format
  • E-bog, PDF
  • Engelsk
Er ikke web-tilgængelig
E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris

kr. 1.634,95

Medlemspris

kr. 1.569,95
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

Læs hele beskrivelsen
Detaljer

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...

Se andre, der handler om...

Engineering: general Mathematical foundations