Foundations of Program Verification

Häftad, Tyska, 2013

Del i serien Series in Computer Science

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

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, 1999

2 202 kr

Object-Oriented Discrete-Event Simulation with Java

José M. Garrido

Inbunden, 2001

1 653 kr

Power Aware Computing

Robert Graybill, Rami Melhem

Inbunden, 2002

2 138 kr

Engineering Electronic Negotiations

Michael Ströbel

Inbunden, 2003

1 653 kr

Structural Theory of Probability

Paolo Rocchi

Inbunden, 2003

1 073 kr

Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures

Ian N. Dunn, Gerard G.L. Meyer

Inbunden, 2003

1 105 kr

Hierarchical Scheduling in Parallel and Cluster Systems

Sivarama Dandamudi

Inbunden, 2003

1 653 kr

Mobile IP

Abdul Sakib Mondal

Inbunden, 2003

885 kr

Nearest Neighbor Search:

Apostolos N. Papadopoulos, Yannis Manolopoulos

Inbunden, 2004

1 114 kr

Soft Real-Time Systems: Predictability vs. Efficiency

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

Inbunden, 2005

1 114 kr

Du kanske också är intresserad av

Engineering Electronic Negotiations

Michael Ströbel

Häftad, 2012

1 667 kr

Hierarchical Scheduling in Parallel and Cluster Systems

Sivarama Dandamudi

Inbunden, 2003

1 653 kr

Nearest Neighbor Search:

Apostolos N. Papadopoulos, Yannis Manolopoulos

Inbunden, 2004

1 114 kr

Mobile IP

Abdul Sakib Mondal

Inbunden, 2003

885 kr

Primality and Cryptography

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Häftad, 2013

359 kr

Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures

Ian N. Dunn, Gerard G.L. Meyer

Inbunden, 2003

1 105 kr

Introduction to Parallel Processing

Behrooz Parhami

Inbunden, 1999

2 202 kr

Structural Theory of Probability

Paolo Rocchi

Inbunden, 2003

1 073 kr

Soft Real-Time Systems: Predictability vs. Efficiency

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

Häftad, 2010

1 114 kr

Fundamentals of X Programming

Theo Pavlidis

Häftad, 2013

561 kr