Foundations of software science and computational structures [electronic resource]

Foundations of software science and computational structures [electronic resource]

4.11 - 1251 ratings - Source



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.In general, single services such as weather forecast or group reservations, are already available and it is important to be able ... The setting is the following: we get as input a specification (goal) B, together with n available services A1 , ..., A n .


Title:Foundations of software science and computational structures [electronic resource]
Author: Helmut Seidl
Publisher:Springer Science & Business Media - 2007
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA