Opening book details…
Can I read Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers on EtoBox?
Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers by Andrea Corradini, Ugo Montanari is a nonfiction available to read on EtoBox.
What is Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers about?
This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations. Erscheinungsdatum: 07.09.2009
Who reads Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Andrea Corradini, Ugo Montanari
- Publisher
- Springer-Verlag New York Inc
- Published
- 2009
- Language
- EN
- ISBN
- 9783642034282
- Category
- nonfiction
- Subjects
- Computer Science, Science, Mathematics
More by Andrea Corradini, Ugo Montanari
Browse all works by Andrea Corradini, Ugo Montanari
Similar books
- Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers — Chiara Bodei, Linda Brodo, Roberto Bruni (auth.), Narciso Martí-Oliet, Miguel Palomino (2013)
- Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers — Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (2000)
- Recent Trends In Algebraic Development Techniques: 23rd Ifip Wg 1.3 International Workshop, Wadt 2016, Gregynog, Uk, September 21-24, 2016, Revised Selected Papers (lecture Notes In Computer Science) — Markus Roggenbach Phillip James (2017)
- Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers — José Luiz Fiadeiro, Ionuț Țuțu (2019)
- Recent trends in algebraic development techniques : 15th international workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers — Roswitha Bardohl, Martin Groβe-Rhode (auth.), Maura Cerioli, Gianna Reggio (2002)
- Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (Lecture Notes in Computer Science) — L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (2003)