Algebraic Methodology and Software Technology
Subtitle: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings (Lecture Notes in Computer Science)
Contributors: Michael Johnson (Editor); Varmo Vene (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 28, 2006
Language: eng
Format: Paperback
Number of pages: 389
ISBN-13: 9783540356332
Subjects: Computer Programming; Computers; Computers - General Information; Computer Books: Languages; Logic; Programming - Software Development; Programming - Systems Analysis & Design; Computers / Logic Design; UML state machines; abstract state machines; algebraic methods; algebraic specification; algebraic state machines; correct software design; formal methods; formal specification; formal verification; mathematical software construction; model checking; Programming - General