Foundations of Program Verification

AvKurt Sieber

Häftad, Tyska, 2013

Del i serien Series in Computer Science

467 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 författare

The Foundations of Program Verification

Kurt Sieber

E-bok

2013

479 kr

Mer från samma serie

Introduction to Parallel Processing

Behrooz Parhami

Inbunden, 1999

2 267 kr

Object-Oriented Discrete-Event Simulation with Java

José M. Garrido

Inbunden, 2001

1 702 kr

Power Aware Computing

Robert Graybill, Rami Melhem

Inbunden, 2002

2 202 kr

Engineering Electronic Negotiations

Michael Ströbel

Inbunden, 2003

1 702 kr

Structural Theory of Probability

Paolo Rocchi

Inbunden, 2003

1 104 kr

Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures

Ian N. Dunn, Gerard G.L. Meyer

Inbunden, 2003

1 137 kr

Hierarchical Scheduling in Parallel and Cluster Systems

Sivarama Dandamudi

Inbunden, 2003

1 702 kr

Mobile IP

Abdul Sakib Mondal

Inbunden, 2003

911 kr

Nearest Neighbor Search:

Apostolos N. Papadopoulos, Yannis Manolopoulos

Inbunden, 2004

1 136 kr

Soft Real-Time Systems: Predictability vs. Efficiency

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

Inbunden, 2005

1 136 kr

Du kanske också är intresserad av

10% rabatt på allt

Adventskalender Ravensburger pussel 2026

Ravensburger

319 kr

The Foundations of Program Verification

Kurt Sieber

E-bok

2013

479 kr

Dynamic Reconfiguration

Ramachandran Vaidyanathan, Jerry Trahan

Häftad, 2013

572 kr

Engineering Electronic Negotiations

Michael Ströbel

Häftad, 2012

1 702 kr

Hierarchical Scheduling in Parallel and Cluster Systems

Sivarama Dandamudi

Inbunden, 2003

1 702 kr

Nearest Neighbor Search:

Apostolos N. Papadopoulos, Yannis Manolopoulos

Inbunden, 2004

1 136 kr

-27%

Lucy

Jamaica Kincaid

Häftad, 2026

(2)

159 kr219 kr

Mobile IP

Abdul Sakib Mondal

Inbunden, 2003

911 kr

Primality and Cryptography

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Häftad, 2013

365 kr

Introduction to Parallel Processing

Behrooz Parhami

Inbunden, 1999

2 267 kr

Foundations of Program Verification

AvKurt Sieber

Häftad, Tyska, 2013

Del i serien Series in Computer Science

467 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.