Recent Trends in Algebraic Development Techniques
Subtitle: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers (Lecture Notes in Computer Science)
Contributors: José Luiz Fiadeiro (Editor); Pierre-Yves Schobbens (Editor)
Edition: 1 edition
Publisher: Springer
Published: June 11, 2007
Language: eng
Format: Paperback
Number of pages: 171
ISBN-13: 9783540719977
Subjects: Computer Programming; Computers; Computers - General Information; Computer Books: General; Logic; Logic Design; Programming - Software Development; Computers / Logic Design; calculi; cellular automata; formal methods; formal testing; graph transformation; modal logic; modeling; process algebra; relational systems; semantics of programming; statechart models; term rewriting