/

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings

Seidl Helmut
Heftet / 2007 / Engelsk

Product details

ISBN
9783540713883
Published
2007-03-09
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Height
235 mm
Width
155 mm
Age
Research, UP, P, 05, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
16

Edited by
Seidl Helmut

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings

Seidl Helmut
Heftet / 2007 / Engelsk
Seidl Helmut
Heftet / 2007 / Engelsk
855,-
Lowest price in the last 30 days: 855,-
Levering 7-20 dager
Click & Collect
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
Read more
Deals with topics that include algebraic models, automata and language theory, behavioral equivalences, categorical models, and computation processes over discrete and continuous data. This book also covers infinite state systems computation structures, and logics of programs, modal, spatial, and temporal logics.
Read more
GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com
Read more

Related products

This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
Read more
Deals with topics that include algebraic models, automata and language theory, behavioral equivalences, categorical models, and computation processes over discrete and continuous data. This book also covers infinite state systems computation structures, and logics of programs, modal, spatial, and temporal logics.
Read more
GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com
Read more

Product details

ISBN
9783540713883
Published
2007-03-09
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Height
235 mm
Width
155 mm
Age
Research, UP, P, 05, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
16

Edited by
Seidl Helmut

Related products