ISBN 9783540356332,Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

Rs5579

Publisher

Ingram Publisher Services

Publication Year 2006
ISBN-13

ISBN 9783540356332

ISBN-10 3540356339
Binding

Paperback

Number of Pages 404 Pages
Subject

Computer programming / software development

Includes the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. This book offers coverage that includes issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, and more.
Scroll