Opening book details…
Can I read Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April, 2-6, 2001 : proceedings on EtoBox?
Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April, 2-6, 2001 : proceedings by Gordon Plotkin, John Power (auth.), Furio Honsell, Marino Miculan (eds.) is a computer science book available to read on EtoBox.
What is Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April, 2-6, 2001 : proceedings about?
ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various asp
Who reads Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April, 2-6, 2001 : proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Gordon Plotkin, John Power (auth.), Furio Honsell, Marino Miculan (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2001
- Language
- EN
- ISBN
- 9783662165591
- Category
- computer science
- Subjects
- Computer Science, Mathematics, Engineering
- Updated
- 2026-03-25
More by Gordon Plotkin, John Power (auth.), Furio Honsell, Marino Miculan (eds.)
Browse all works by Gordon Plotkin, John Power (auth.), Furio Honsell, Marino Miculan (eds.)
Similar books
- Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings — Bruno Courcelle (auth.), Mogens Nielsen, Uffe Engberg (2002)
- Fundamental approaches to software engineering : 4th International Conference, FASE 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings — Bran Selic (auth.), Heinrich Hussmann (2001)
- Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings — Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto (auth.), Vladimiro Sassone (2005)
- Foundations of software science and computation structures : third international conference, FOSSACS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings — Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (2000)
- Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings — Ole Lehrmann Madsen (auth.), Reinhard Wilhelm (2001)
- Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings — Luca Cardelli, Giorgio Ghelli (auth.), David Sands (2001)
