Foundations of Software Science and Computational Structures: 6th Internation…

Foundations of Software Science and Computational Structures: 6th Internation…

Características do item


Novo em folha: Livro novo, que nunca foi usado ou lido, em perfeito estado, sem nenhuma página faltando ou
Estado do item: Novo em folha
Ano de publicação: 2003 Formato: Livro brochura
Idioma: Inglês ISBN:




Foundations of Software Science and Computational Structures: 6th Internation…

Sobre este produto

Product Information
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.”

Product Identifiers
Publisher Springer
ISBN-10 3540008977
ISBN-13 9783540008972
eBay Product ID (ePID) 2484097

Product Key Features
Format Paperback
Publication Year 2003
Language English

Weight 49.7 Oz
Width 6.1in.
Length 9.3in.

Additional Product Features
Number of Volumes 1 Vol.
Dewey Edition 21
Series Volume Number 2620
Illustrated Yes
Dewey Decimal 005.1
Series Lecture Notes in Computer Science
Copyright Date 2003
Number of Pages 440 Pages
Lc Classification Number Qa75.5-76.95qa76.758
Publication Date 2003-03-14
Lccn 2003-045462
Edited by Andrew D. Gordon

Price : 147.39

Ends on : Ended

View on eBay


Leave a Reply

Your email address will not be published.