Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Påfyllt med fler pocketböcker – 4 för 3 →

Foundations of Program Verification

Häftad, Tyska, 2013

Del i serien Series in Computer Science

460 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

Kurt Sieber - The Foundations of Program Verification, E-bok

The Foundations of Program Verification

Kurt Sieber

E-bok

2013

475 kr

Mer från samma serie

Behrooz Parhami - Introduction to Parallel Processing, Inbunden

Introduction to Parallel Processing

Behrooz Parhami

Inbunden, 1999

2 226 kr

José M. Garrido - Object-Oriented Discrete-Event Simulation with Java, Inbunden

Object-Oriented Discrete-Event Simulation with Java

José M. Garrido

Inbunden, 2001

1 671 kr

Robert Graybill, Rami Melhem - Power Aware Computing, Inbunden

Power Aware Computing

Robert Graybill, Rami Melhem

Inbunden, 2002

2 161 kr

Michael Ströbel - Engineering Electronic Negotiations, Inbunden

Engineering Electronic Negotiations

Michael Ströbel

Inbunden, 2003

1 671 kr

Paolo Rocchi - Structural Theory of Probability, Inbunden

Structural Theory of Probability

Paolo Rocchi

Inbunden, 2003

1 084 kr

Ian N. Dunn, Gerard G.L. Meyer - Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures, Inbunden

Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures

Ian N. Dunn, Gerard G.L. Meyer

Inbunden, 2003

1 116 kr

Sivarama Dandamudi - Hierarchical Scheduling in Parallel and Cluster Systems, Inbunden

Hierarchical Scheduling in Parallel and Cluster Systems

Sivarama Dandamudi

Inbunden, 2003

1 671 kr

Abdul Sakib Mondal - Mobile IP, Inbunden

Mobile IP

Abdul Sakib Mondal

Inbunden, 2003

894 kr

Apostolos N. Papadopoulos, Yannis Manolopoulos - Nearest Neighbor Search:, Inbunden

Nearest Neighbor Search:

Apostolos N. Papadopoulos, Yannis Manolopoulos

Inbunden, 2004

1 116 kr

Giorgio C Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo - Soft Real-Time Systems: Predictability vs. Efficiency, Inbunden

Soft Real-Time Systems: Predictability vs. Efficiency

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

Inbunden, 2005

1 116 kr

Du kanske också är intresserad av

Ramachandran Vaidyanathan, Jerry Trahan - Dynamic Reconfiguration, Häftad

Dynamic Reconfiguration

Ramachandran Vaidyanathan, Jerry Trahan

Häftad, 2013

562 kr

Michael Ströbel - Engineering Electronic Negotiations, Häftad

Engineering Electronic Negotiations

Michael Ströbel

Häftad, 2012

1 671 kr

Sivarama Dandamudi - Hierarchical Scheduling in Parallel and Cluster Systems, Inbunden

Hierarchical Scheduling in Parallel and Cluster Systems

Sivarama Dandamudi

Inbunden, 2003

1 671 kr

Apostolos N. Papadopoulos, Yannis Manolopoulos - Nearest Neighbor Search:, Inbunden

Nearest Neighbor Search:

Apostolos N. Papadopoulos, Yannis Manolopoulos

Inbunden, 2004

1 116 kr

Primality and Cryptography, Häftad

Primality and Cryptography

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Häftad, 2013

359 kr

Ian N. Dunn, Gerard G.L. Meyer - Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures, Inbunden

Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures

Ian N. Dunn, Gerard G.L. Meyer

Inbunden, 2003

1 116 kr

Behrooz Parhami - Introduction to Parallel Processing, Inbunden

Introduction to Parallel Processing

Behrooz Parhami

Inbunden, 1999

2 226 kr

Paolo Rocchi - Structural Theory of Probability, Inbunden

Structural Theory of Probability

Paolo Rocchi

Inbunden, 2003

1 084 kr

Giorgio C Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo - Soft Real-Time Systems: Predictability vs. Efficiency, Häftad

Soft Real-Time Systems: Predictability vs. Efficiency

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

Häftad, 2010

1 116 kr

Theo Pavlidis - Fundamentals of X Programming, Häftad

Fundamentals of X Programming

Theo Pavlidis

Häftad, 2013

562 kr