[PDF.39gk] Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings (Lecture ... / Programming and Software Engineering)
Download PDF | ePub | DOC | audiobook | ebooks
Home -> Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings (Lecture ... / Programming and Software Engineering) free download
Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings (Lecture ... / Programming and Software Engineering)
From Springer
[PDF.ev25] Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings (Lecture ... / Programming and Software Engineering)
Algebraic Methodology and Software From Springer epub Algebraic Methodology and Software From Springer pdf download Algebraic Methodology and Software From Springer pdf file Algebraic Methodology and Software From Springer audiobook Algebraic Methodology and Software From Springer book review Algebraic Methodology and Software From Springer summary
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, ...
You can specify the type of files you want, for your device.Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings (Lecture ... / Programming and Software Engineering) | From Springer. A good, fresh read, highly recommended.