Find your perfect holiday reading
Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lecture Notes in Computer Science 2620 (Paperback)
  • Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lecture Notes in Computer Science 2620 (Paperback)
zoom

Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lecture Notes in Computer Science 2620 (Paperback)

(editor)
£85.50
Paperback 440 Pages / Published: 14/03/2003
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
The present volume contains the proceedings of the international conference Foundations of Software Science and Computation Structures(FOSSACS)2003, held in Warsaw, Poland, April 7-9, 2003. FOSSACS is an event of the Joint European Conferences on Theory and Practice of Software (ETAPS). The pre- ous ?ve FOSSACS conferences took place in Lisbon (1998), Amsterdam (1999), Berlin (2000), Genoa (2001), and Grenoble (2002). FOSSACS presents original papers on foundational researchwith a clear s- ni?cancetosoftwarescience.TheProgramCommitteeinvitedpapersontheories and methodsto supportthe analysis,integration,synthesis,transformation,and veri?cation of programs and software systems. We identi?ed the following t- ics, in particular: algebraic models; automata and language theory; behavioural equivalences; categorical models; computation processes over discrete and c- tinuous data; computation structures; logics of programs; modal, spatial, and temporallogics;modelsof concurrent,reactive,distributed, and mobile systems; processalgebrasandcalculi;semanticsofprogramminglanguages;softwaresp- i?cation and re?nement; transition systems; and type systems and type theory. We received 96 submissions, of which 2 were withdrawn. This proceedings consists of 27 papers. The ?rst-A Game Semantics for Generic Polymorphism-accompanies the invited lecture by Samson Abramsky, University of Oxford. The remaining 26 were selected for publication by the Program Committee during a week-long electronic discussion. I sincerely thank all the authors of papers submitted to FOSSACS 2003; the number and the quality of papers were exceptionally high this year. Moreover, I would like to thank all the members of the ProgramCommittee for the excellent job they did during a rather demanding selection process, and to thank all our subreferees for their invaluable contributions to this process.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540008972
Number of pages: 440
Weight: 1410 g
Dimensions: 235 x 155 x 23 mm
Edition: 2003 ed.

You may also be interested in...

IT Architecture For Dummies
Added to basket
The Computer and the Brain
Added to basket
Soft Systems Methodology in Action
Added to basket
The Mythical Man-Month
Added to basket
Logic in Computer Science
Added to basket
Business Analysis Techniques
Added to basket
Developing Analytic Talent
Added to basket
Developing Information Systems
Added to basket
US For Beginners
Added to basket
£27.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.