Mathematics of Program Construction
(Sprache: Englisch)
we highly recommend to every Program Chair.
Leider schon ausverkauft
versandkostenfrei
Buch
99.99 €
Produktdetails
Produktinformationen zu „Mathematics of Program Construction “
Klappentext zu „Mathematics of Program Construction “
we highly recommend to every Program Chair.
Inhaltsverzeichnis zu „Mathematics of Program Construction “
Invited Talks.- The Algorithmics of Solitaire-Like Games.- Compositionality of Secure Information Flow.- Process Algebras for Collective Dynamics.- Contributed Talks.- On Automated Program Construction and Verification.- The Logic of Large Enough.- Dependently Typed Grammars.- Abstraction of Object Graphs in Program Verification.- Subtyping, Declaratively.- Compositional Action System Derivation Using Enforced Properties.- Designing an Algorithmic Proof of the Two-Squares Theorem.- Partial, Total and General Correctness.- Unifying Theories of Programming That Distinguish Nontermination and Abort.- Adjoint Folds and Unfolds.- An Abstract Machine for the Old Value Retrieval.- A Tracking Semantics for CSP.- Matrices as Arrows!.- Lucy-n: a n-Synchronous Extension of Lustre.- Sampling, Splitting and Merging in Coinductive Stream Calculus.- Generic Point-free Lenses.- Formal Derivation of Concurrent Garbage Collectors.- Temporal Logic Verification of Lock-Freedom.- Gradual Refinement.
Bibliographische Angaben
- X, 425 Seiten, Maße: 16,4 x 24,1 cm, Kartoniert (TB), Englisch
- Herausgegeben: Claude Bolduc, Jules Desharnais, Bechir Ktari
- Verlag: Springer Berlin
- ISBN-10: 3642133207
- ISBN-13: 9783642133206
- Erscheinungsdatum: 01.06.2010
Sprache:
Englisch
Kommentar zu "Mathematics of Program Construction"
0 Gebrauchte Artikel zu „Mathematics of Program Construction“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Mathematics of Program Construction".
Kommentar verfassen