Produktbild
Yuri (Hrsg.) Gurevich

Abstract State Machines - Theory and Applications

International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

Ebook (PDF Format)

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theor… Mehr

CHF 100.00

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

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Kutter, Philipp W. (Hrsg.) / Odersky, Martin (Hrsg.) / Thiele, Lothar (Hrsg.)
  • ISBN: 978-3-540-44518-0
  • EAN: 9783540445180
  • Produktnummer: 37296585
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2003
  • Seitenangabe: 386 S.
  • Plattform: PDF
  • Auflage: 2000
  • Reihenbandnummer: 1912

4 weitere Werke von Yuri (Hrsg.) Gurevich:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.