Produktbild
Michael (Hrsg.) Johnson

Algebraic Methodology and Software Technology

11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

Ebook (PDF Format)

This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers together with 3 system demonstrations and 3 invited talks. Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.

CHF 88.50

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

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Vene, Varmo (Hrsg.)
  • ISBN: 978-3-540-35636-3
  • EAN: 9783540356363
  • Produktnummer: 33365876
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2006
  • Seitenangabe: 392 S.
  • Plattform: PDF
  • Masse: 5'801 KB
  • Auflage: 2006
  • Abbildungen: Bibliographie

15 weitere Werke von Michael (Hrsg.) Johnson:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.