Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken
Boek

Mathematics Of Program Construction

10th International Conference, Mpc 2010, Quebec City, Canada, June 21-23, 2010, Proceedings

Mathematics Of Program Construction - ISBN: 9783642133206
Prijs: € 103,15
Levertijd: 4 tot 6 werkdagen
Bindwijze: Boek
Genre: Theoretische informatica
Boekenliefde.nl:
Add to cart

Beschrijving

Constitutes The Refereed Proceedings Of The 10th International Conference On Mathematics Of Program Construction, Mpc 2010, Held In Quebec City, Canada In June 2010. In This Book, The 19 Revised Full Papers Presented Together With 1 Invited Talk And The Abstracts Of 2 Invited Talks Were Carefully Reviewed And Selected From 37 Submissions.

Details

Titel: Mathematics Of Program Construction
Mediatype: Boek
Taal: Engels
Aantal pagina's: 427
Uitgever: Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg
Plaats van publicatie: DE
NUR: Theoretische informatica
Afmetingen: 234 x 152 x 23
Gewicht: 635 gr
ISBN/ISBN13: 9783642133206
Intern nummer: 15276115

Inhoudsopgave

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.

Winkelvoorraad

Dit product is op dit moment niet op voorraad in een van onze vestigingen.