Kim G Larsen
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers - Lecture Notes in Computer Science Kim G Larsen 2004 edition

Name: Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers - Lecture Notes in Computer Science
Price: 53.99 EUR
Availability: OutOfStock
Author: Kim G Larsen

Cena

€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 23. okt. - . gada 2. nov.

Saņemiet paziņojumus par jauniem Kim G Larsen izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers - Lecture Notes in Computer Science

Kim G Larsen

2004 edition

among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems.

281 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2004. gada 8. aprīlis
ISBN13	9783540216711
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	281
Izmēri	155 × 233 × 15 mm · 417 g
Valoda	Vācu
Redaktors	Larsen, Kim G.
Redaktors	Niebert, Peter