Algebraic Methodology and Software Technology
11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
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)
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
Anmelden