Foundations of Program Verification

Häftad, Tyska, 2013

Del i serien Series in Computer Science

452 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

Teknik: allmänt inom Naturvetenskap och teknik

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.

Mer från samma serie

Introduction to Parallel Processing

Behrooz Parhami

Inbunden

2 164 kr

Object-Oriented Discrete-Event Simulation with Java

José M. Garrido

Inbunden

1 625 kr

Power Aware Computing

Robert Graybill, Rami Melhem

Inbunden

2 101 kr

Engineering Electronic Negotiations

Michael Ströbel

Inbunden

1 625 kr

Structural Theory of Probability

Paolo Rocchi

Inbunden

1 064 kr

Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures

Ian N. Dunn, Gerard G.L. Meyer

Inbunden

1 096 kr

Hierarchical Scheduling in Parallel and Cluster Systems

Sivarama Dandamudi

Inbunden

1 625 kr

Mobile IP

Abdul Sakib Mondal

Inbunden

878 kr

Nearest Neighbor Search:

Apostolos N. Papadopoulos, Yannis Manolopoulos

Inbunden

1 096 kr

Soft Real-Time Systems: Predictability vs. Efficiency

Giorgio C Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo

Inbunden

1 096 kr

Du kanske också är intresserad av

Dynamic Reconfiguration

Ramachandran Vaidyanathan, Jerry Trahan

Häftad

552 kr

Engineering Electronic Negotiations

Michael Ströbel

Häftad

1 625 kr

Hierarchical Scheduling in Parallel and Cluster Systems

Sivarama Dandamudi

Inbunden

1 625 kr

Nearest Neighbor Search:

Apostolos N. Papadopoulos, Yannis Manolopoulos

Inbunden

1 096 kr

Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures

Ian N. Dunn, Gerard G.L. Meyer

Häftad

1 064 kr

Primality and Cryptography

Häftad

353 kr

Introduction to Parallel Processing

Behrooz Parhami

Inbunden

2 164 kr

Structural Theory of Probability

Paolo Rocchi

Inbunden

1 064 kr

Soft Real-Time Systems: Predictability vs. Efficiency

Giorgio C Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo

Häftad

1 096 kr

Fundamentals of X Programming

Theo Pavlidis

Häftad

552 kr