Foundations of Software Science and Computation Structures : :: SCD d'Orléans

Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013 The...

Fuld beskrivelse

Enregistré dans:

Bibliografiske detaljer
Andre forfattere:	Pfenning, Frank (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin, Heidelberg : Springer Berlin Heidelberg 2013. Cham : Springer Nature
Serier:	Theoretical Computer Science and General Issues 7794
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Foundations of Software Science and Computation Structures, Texte imprimé, 9783642370748 • Foundations of Software Science and Computation Structures, Texte imprimé, 9783642370762

Lignende værker

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Foundations of software science and computation structures : Second International Conference, FOSSACS 99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands,March 22 28, 1999 : proceedings

Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

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

Foundations of software science and computation structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

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

Foundations of software science and computation structures : First International Conference, FoSSaCS ±98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ±98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings

Fundamental approaches to software engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Udgivet: (2021)

Foundations of Software Science and Computation Structures
Udgivet: (2025)

Foundations of Software Science and Computation Structures
Udgivet: (2024)

Foundations of Software Science and Computation Structures
Udgivet: (2020)

Foundations of Software Science and Computation Structures
Udgivet: (2023)

Foundations of Software Science and Computation Structures
Udgivet: (2024)

Foundations of Software Science and Computation Structures
Udgivet: (2022)

Foundations of Software Science and Computation Structures
Udgivet: (2021)

Foundations of Software Science and Computation Structures
Udgivet: (2021)

Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings

Principles of Security and Trust : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings
af: Basin, David
Udgivet: (2013)

Compiler Construction : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
af: De Bosschere, Koen

Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
af: Piterman, Nir, 19..-
Udgivet: (2013)

Foundations of software technology and theoretical computer science : 19th conference, Chennai, India, December 13-15, 1999 : proceedings

Foundations of software technology and theoretical computer science : 14th Conference, Madras, India, December 15 17, 1994 : proceedings

Programming languages and systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings

Foundations of software technology and theoretical computer science : Fifth Conference, New Delhi, India December 16 18, 1985 : proceedings : FST and TCS 5

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

Mathematical foundations of software development : proceedings of the International joint conference on theory and practice of software development (TAPSOFT), Berlin, March 25-29, 1985 Colloquium on trees in algebra and programming (CAAP' 85)

Requirements Engineering: Foundation for Software Quality : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings : FST and TCS 13

Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings : [FST and TCS 15]

Foundations of software technology and theoretical computer science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings : FST and TCS 18

Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings : FST and TCS 11

Foundations of software technology and theoretical computer science : 12th conference, New Delhi, India, December 18-20, 1992 : proceedings : FST and TCS 12

Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
af: Wermelinger, Michel, 1966-

Fundamental approaches to software engineering : Second International Conference, FASE 99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings : FST and TCS 10

Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India December 19 21, 1989 : proceedings : FST and TCS 9

Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India December 13 15, 1984 : proceedings : FST and TCS 4
af: Joseph, Mathai, 1943-

Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17 19, 1987 : proceedings : FST and TCS 7

Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings : FST and TCS 8

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales