Opening book details…
Can I read Tapsoft '93: Theory and Practice of Software Development: 4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings (Springer Series in Solid-State Sciences) on EtoBox?
Tapsoft '93: Theory and Practice of Software Development: 4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings (Springer Series in Solid-State Sciences) by John V. Guttag (auth.), M. -C. Gaudel, J. -P. Jouannaud (eds.) is a nonfiction available to read on EtoBox.
What is Tapsoft '93: Theory and Practice of Software Development: 4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings (Springer Series in Solid-State Sciences) about?
This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT '93 consists ofthree parts: an advanced seminar, the Colloquium on Trees in Algebra and Programming (CAAP), and the Colloquium on Formal Approaches of Software Engineering (FASE). The advanced seminar includes four invited surveys and four invited conferences. The selected papers for CAAP are organized in seven sessions: specifications and proofs, concurrency, automata and counting, constraints solving, rewriting, logic and trees, analysis of algorithms, and a common session with FASE on type inference. The selected papers for FASE are presented in eight sessions: case studies in formal design and development, compositionality modules and development, formal development, foundations and analysis of formal specifications, verification of concurrent systems, model checking, parallel calcul
Who reads Tapsoft '93: Theory and Practice of Software Development: 4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings (Springer Series in Solid-State Sciences)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- John V. Guttag (auth.), M. -C. Gaudel, J. -P. Jouannaud (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1993
- Language
- EN
- ISBN
- 9780387566108
- Category
- nonfiction
- Subjects
- Mathematics, Engineering, Programming
More by John V. Guttag (auth.), M. -C. Gaudel, J. -P. Jouannaud (eds.)
Browse all works by John V. Guttag (auth.), M. -C. Gaudel, J. -P. Jouannaud (eds.)
Similar books
- TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings (Lecture Notes in Computer Science (915)) — Hartmut Ehrig, Bernd Mahr (auth.), Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (1995)
- TAPSOFT '97 - Theory and Practice of Software Development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings — Corrado Böhm (auth.), Michel Bidoit, Max Dauchet (1997)
- Tapsoft '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (Caap '89) — C. A. R. Hoare (auth.), Josep Díaz, Fernando Orejas (1989)
- Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume (Lecture Notes in Computer Science) — J. W. de Bakker, E. P. de Vink (auth.), S. Abramsky, T. S. E. Maibaum (1991)
- Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings — Alessandra Russo; Andy Schürr (2018)
- Fundamental approaches to software engineering : 17th International Conference, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings — Stefania Gnesi and Arend Rensink (2014)