Foundations of Program Verification
459 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Produktinformation
- Utgivningsdatum:2013-10-03
- Mått:152 x 229 x 14 mm
- Vikt:360 g
- Format:Häftad
- Språk:Tyska
- Serie:Series in Computer Science
- Antal sidor:230
- Upplaga:2
- Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN:9783322967541
Utforska kategorier
Innehållsförteckning
- 1 Mathematical Preliminaries.- 2 Predicate Logic.- 3 Three Simple Programming Languages.- 4 Fixpoints in Complete Partial Orders.- 5 Denotational Semantics.- 6 Correctness of Programs.- 7 The Classical Methods of Floyd.- 8 The Axiomatic Method of Hoare.- 9 Verification Methods Based on Denotational Semantics.- 10 LCF, A Logic for Computable Functions.- 11 An Overview of Further Developments.
Hoppa över listan









Mer från samma serie
Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures
Ian N. Dunn, Gerard G.L. Meyer
Inbunden, 2003
1 105 kr
Soft Real-Time Systems: Predictability vs. Efficiency
Giorgio C Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo
Inbunden, 2005
1 114 kr
Hoppa över listan









Du kanske också är intresserad av
Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures
Ian N. Dunn, Gerard G.L. Meyer
Inbunden, 2003
1 105 kr
Soft Real-Time Systems: Predictability vs. Efficiency
Giorgio C Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo
Häftad, 2010
1 114 kr