Deductive Program Design
Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.
CHF 276.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-3-642-64849-6
- EAN: 9783642648496
- Produktnummer: 13393219
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2011
- Seitenangabe: 484 S.
- Masse: H23.5 cm x B15.5 cm x D2.5 cm 727 g
- Auflage: Softcover reprint of the original 1st ed. 1996
- Abbildungen: Paperback
- Gewicht: 727
50 weitere Werke von Manfred (Hrsg.) Broy:
Bewertungen
Anmelden