Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... Notes in Computer Science, 3921, Band 3921) - Softcover

 
9783540330455: Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... Notes in Computer Science, 3921, Band 3921)
Softcover
ISBN 10: 3540330453 ISBN 13: 9783540330455
Verlag: Springer Berlin Heidelberg, 2010

Inhaltsangabe


This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS.

The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on mobile processes, software science, distributed computation, categorical models, real time and hybrid systems, process calculi, automata and logic, domains, lambda calculus, types, and security.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Berlin Heidelberg
Erscheinungsdatum
2010
Sprache
Englisch
ISBN 10 
3540330453
ISBN 13 
9783540330455
Einband
Taschenbuch
Anzahl der Seiten
468
Herausgeber
Aceto Luca
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland