Zur Startseite wechseln
CHF 0.00
Kategorien
Englisch und andere Fremdsprachen
Englisch
Produktbild
Kim G. (Hrsg.) Larsen

Formal Modeling and Analysis of Timed Systems

First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Buch

CHF 100.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails

Weitere Autoren: Niebert, Peter (Hrsg.)
  • ISBN: 978-3-540-21671-1
  • EAN: 9783540216711
  • Produktnummer: 8478873
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2004
  • Seitenangabe: 294 S.
  • Masse: H23.5 cm x B15.5 cm x D1.5 cm 449 g
  • Auflage: 2004
  • Abbildungen: Paperback
  • Gewicht: 449

10 weitere Werke von Kim G. (Hrsg.) Larsen:

Produktbild
Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Buch
CHF 152.00
Produktbild
Computer Aided Verification
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Ebook (PDF Format)
CHF 153.50
Produktbild
Models, Mindsets, Meta: The What, the How, and the Why Not?
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Buch
CHF 107.00
Produktbild
Computer Aided Verification
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Buch
CHF 130.00
Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Buch
CHF 100.00
Produktbild
Models, Mindsets, Meta: The What, the How, and the Why Not?
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Ebook (PDF Format)
CHF 87.50
Produktbild
Automata, Languages and Programming
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Buch
CHF 166.00
Produktbild
Computer Aided Verification
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Buch
CHF 158.00
Produktbild
CONCUR 2001 - Concurrency Theory
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Buch
CHF 136.00
Produktbild
Formal Modeling and Analysis of Timed Systems
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Ebook (PDF Format)
CHF 93.50

Bewertungen

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...