L’édition demandée n’est plus disponible, nous vous proposons la dernière édition.
Foundations of Software Science and Computation Structures, 2015 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateur : Pitts Andrew
The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.
Date de parution : 04-2015
Ouvrage de 465 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThèmes de Foundations of Software Science and Computation Structures :
Mots-clés :
Analysis tools; B formal language; Certification; Component reuse; Component-based software; Compositionality; Consistency checking; Evolution rules; Formal methods; Formal models; Formal semantics; Modeling approaches; Models of computation; Program analysis; Quantitative verification; Service-oriented computing; Software adaptation; Software verification and validation; Timed automata; Transformation