Download Free Computer Ebooks - NET BOOKS

Didier Bert, Christine Choppy, Peter Mosses – Recent Trends in Algebraic Development Techniques

Posted by diemannschaft under General Programming, Programming

Didier Bert, Christine Choppy, Peter Mosses – Recent Trends in Algebraic Development Techniques
Publisher: S?ringer | 2000-10-13 | ISBN: 3540678980 | PDF | 476 pages | 3.26 MB

This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT’99, held in Toulouse, France in September 1999.
The 23 revised full papers presented together with three invited papers were carefully reviewed and selected from 69 workshop presentations. The papers address the following topics: algebraic specification and other specification formalisms, test and validation, concurrent processes applications, logic and validation, combining formalisms, subsorts and partiality, structuring, rewriting, co-algebras and sketches, refinement, institutions and categories, and ASM specifications.
Download

http://www.downloadine.net/file/3274102684

Login [This hidden content is only available for our VIP member]. Become VIP Member NOW

Password default : netbks.us

Donate to become VIP member

Related Ebooks

• Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006
• Algebraic Methodology and Software Technology
• Logics of Specification Languages
• Automated Deduction in Geometry
• Agent Computing and Multi-Agent Systems: 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007
• Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
• Algebra and Coalgebra in Computer Science
• Relational and Algebraic Methods in Computer Science
• Software for Algebraic Geometry
• Bioinformatics Research and Development

Leave a Reply

Name (required)

Mail (will not be published) (required)