Produktbild
Egon (Hrsg.) Börger

Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Buch

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method.The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and indus… Mehr

CHF 93.00

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

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Butler, Michael (Hrsg.) / Bowen, Jonathan P. (Hrsg.) / Boca, Paul (Hrsg.)
  • ISBN: 978-3-540-87602-1
  • EAN: 9783540876021
  • Produktnummer: 16447850
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2008
  • Seitenangabe: 382 S.
  • Masse: H23.5 cm x B15.5 cm x D2.1 cm 604 g
  • Auflage: 2008
  • Abbildungen: Book; Illustrations
  • Reihenbandnummer: 5238
  • Gewicht: 604

17 weitere Werke von Egon (Hrsg.) Börger:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.