Download E-books Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedi PDF

By Igor Walukiewicz (auth.), Roberto Amadio (eds.)

This booklet constitutes the refereed lawsuits of the eleventh overseas convention on Foundations of software program technology and Computational buildings, FOSSACS 2008, held in Budapest, Hungary, in March/April 2008 as a part of ETAPS 2008, the ecu Joint meetings on concept and perform of Software.

The 33 revised complete papers offered including the summary of one invited speak have been conscientiously reviewed and chosen from 124 submissions. A vast number of theories and strategies to help research, synthesis, transformation and verification of courses and software program platforms are addressed, together with the subsequent issues: algebraic types, automata and language concept, behavioural equivalences, specific types, computation strategies over discrete and non-stop information, limitless country structures, computational buildings, logics of courses, modal, spatial, and temporal logics, types of concurrent, reactive, disbursed, and cellular structures, method algebras and calculi, semantics of programming languages, software program specification and refinement, style platforms and sort idea, basics of safeguard, semi-structured info, application correctness and verification.

Show description

Read or Download Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedi PDF

Best Software books

Extra info for Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedi

Show sample text content

Rated 4.87 of 5 – based on 20 votes