Algebraic Methodology and Software Technology
11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
Bemærk venligst, at den normale 14 dages fortrydelsesret ophører ved modtagelse af adgang til e-bogen.
Produkt beskrivelse
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.
Oplysninger om tilgængelighed
Vælg variant af e-bog i højre side, for at se tilgængelighedsoplysninger.
Detaljer
- ISBN13 9783540356363
- Udgivet 2006
- Forlag Springer
- Format Elektronisk medie
- Udgave 1
- Sprog Engelsk