Produktbild
Egon (Hrsg.) Börger

Abstract State Machines, B and Z

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

Ebook (PDF Format)

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 indu… Mehr

CHF 87.00

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

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Butler, Michael (Hrsg.) / Bowen, Jonathan P. (Hrsg.) / Boca, Paul (Hrsg.)
  • ISBN: 978-3-540-87603-8
  • EAN: 9783540876038
  • Produktnummer: 33309138
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2008
  • Seitenangabe: 384 S.
  • Plattform: PDF
  • Masse: 7'448 KB
  • Auflage: 2008
  • Abbildungen: Bibliographie
  • Reihenbandnummer: 5238

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.