Formal Methods: Applications and Technology
11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, R
CHF 108.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Haverkort, Boudewijn (Hrsg.) / Leucker, Martin (Hrsg.) / Pol, Jaco van de (Hrsg.)
- ISBN: 978-3-540-70951-0
- EAN: 9783540709510
- Produktnummer: 2802314
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2007
- Seitenangabe: 376 S.
- Masse: H23.5 cm x B15.5 cm x D2.0 cm 569 g
- Auflage: 2007
- Abbildungen: Paperback
- Gewicht: 569
4 weitere Werke von Lubos (Hrsg.) Brim:
CONCUR 2002 - Concurrency Theory
11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, R
11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, R
Ebook (PDF Format)
CHF 153.50
Bewertungen
Anmelden