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

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Naturvetenskap och teknik
      2. Teknik och industri
      3. Teknik: allmänt

      Foundations of Program Verification

      AvKurt Sieber

      Häftad, Tyska, 2013

      Del i serien Series in Computer Science

      463 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.
      Hoppa över listan

      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

      474 kr

      Hoppa över listan

      Mer från samma serie

      Behrooz Parhami - Introduction to Parallel Processing, Inbunden

      Introduction to Parallel Processing

      Behrooz Parhami

      Inbunden, 1999

      2 281 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 712 kr

      Robert Graybill, Rami Melhem - Power Aware Computing, Inbunden

      Power Aware Computing

      Robert Graybill, Rami Melhem

      Inbunden, 2002

      2 215 kr

      Michael Ströbel - Engineering Electronic Negotiations, Inbunden

      Engineering Electronic Negotiations

      Michael Ströbel

      Inbunden, 2003

      1 712 kr

      Paolo Rocchi - Structural Theory of Probability, Inbunden

      Structural Theory of Probability

      Paolo Rocchi

      Inbunden, 2003

      1 111 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 144 kr

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

      Hierarchical Scheduling in Parallel and Cluster Systems

      Sivarama Dandamudi

      Inbunden, 2003

      1 712 kr

      Abdul Sakib Mondal - Mobile IP, Inbunden

      Mobile IP

      Abdul Sakib Mondal

      Inbunden, 2003

      916 kr

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

      Nearest Neighbor Search:

      Apostolos N. Papadopoulos, Yannis Manolopoulos

      Inbunden, 2004

      1 144 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 144 kr

      Hoppa över listan

      Du kanske också är intresserad av

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

      The Foundations of Program Verification

      Kurt Sieber

      E-bok
      2013

      474 kr

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

      Engineering Electronic Negotiations

      Michael Ströbel

      Häftad, 2012

      1 712 kr

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

      Hierarchical Scheduling in Parallel and Cluster Systems

      Sivarama Dandamudi

      Inbunden, 2003

      1 712 kr

      Robert Graybill, Rami Melhem - Power Aware Computing, Inbunden

      Power Aware Computing

      Robert Graybill, Rami Melhem

      Inbunden, 2002

      2 215 kr

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

      Nearest Neighbor Search:

      Apostolos N. Papadopoulos, Yannis Manolopoulos

      Inbunden, 2004

      1 144 kr

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

      Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures

      Ian N. Dunn, Gerard G.L. Meyer

      Häftad, 2012

      1 098 kr

      Primality and Cryptography, Häftad

      Primality and Cryptography

      Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

      Häftad, 2013

      363 kr

      Behrooz Parhami - Introduction to Parallel Processing, Inbunden

      Introduction to Parallel Processing

      Behrooz Parhami

      Inbunden, 1999

      2 281 kr

      Paolo Rocchi - Structural Theory of Probability, Inbunden

      Structural Theory of Probability

      Paolo Rocchi

      Inbunden, 2003

      1 111 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 131 kr