• 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. Data och IT
      2. Programmeringsböcker
      3. Programspråk

      Science of Programming

      AvDavid Gries

      Häftad, Engelska, 1987

      Del i serien Monographs in Computer Science

      1 011 kr

      Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

      Fler format och utgåvor

      E-bok

      1 292 kr

      Beskrivning

      Describes basic programming principles and their step-by-step applications.Numerous examples are included.

      Produktinformation

      • Utgivningsdatum:1987-02-01
      • Mått:155 x 235 x 21 mm
      • Vikt:561 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Monographs in Computer Science
      • Antal sidor:388
      • Upplaga:87001
      • Förlag:Springer-Verlag New York Inc.
      • ISBN:9780387964805

      Utforska kategorier

      • Programspråk inom Data och IT

      Innehållsförteckning

      • 0. Why Use Logic? Why Prove Programs Correct?.- I. Propositions and Predicates.- 1. Propositions.- 2. Reasoning using Equivalence Transformations.- 3. A Natural Deduction System.- 4. Predicates.- 5. Notations and Conventions for Arrays.- 6. Using Assertions to Document Programs.- II. The Semantics of a Small Language.- 7. The Predicate Transformer wp.- 8. The Commands skip, abort and Composition.- 9. The Assignment Command.- 10. The Alternative Command.- 11. The Iterative Command.- 12. Procedure Call.- III. The Development of Programs.- 13. Introduction.- 14. Programming as a Goal-Oriented Activity.- 15. Developing Loops from Invariants and Bounds.- 16. Developing Invariants.- 17. Notes on Bound Functions.- 18. Using Iteration Instead of Recursion.- 19. Efficiency Considerations.- 20. Two Larger Examples of Program Development.- 21. Inverting Programs.- 22. Notes on Documentation.- 23. Historical Notes.- Appendix 1. Backus-Naur Form.- Appendix 2. Sets, Sequences, Integers and Real Numbers.- Appendix 3. Relations and Functions.- Appendix 4. Asymptotic Execution Time Properties.- Answers to Exercises.- References.
      Hoppa över listan

      Mer från samma författare

      David Gries, Paul Gries - Multimedia Introduction to Programming Using Java, Häftad

      Multimedia Introduction to Programming Using Java

      David Gries, Paul Gries

      Häftad, 2004

      576 kr

      Paul Gries, David Gries - Multimedia Introduction to Programming Using Java, E-bok

      Multimedia Introduction to Programming Using Java

      Paul Gries, David Gries

      E-bok
      2005

      690 kr

      Willem-Paul de Roever, David Gries - Programming Concepts and Methods PROCOMET '98, E-bok

      Programming Concepts and Methods PROCOMET '98

      Willem-Paul de Roever, David Gries

      E-bok
      2013

      2 925 kr

      David Gries, Fred B. Schneider - Logical Approach to Discrete Math, Inbunden

      Logical Approach to Discrete Math

      David Gries, Fred B. Schneider

      Inbunden, 1993

      890 kr

      W.H.J. Feijen, A.J.M. van Gasteren, David Gries, J. Misra - Beauty Is Our Business, Inbunden

      Beauty Is Our Business

      W.H.J. Feijen, A.J.M. van Gasteren, David Gries, J. Misra

      Inbunden, 1990

      2 281 kr

      David Gries, Willem-Paul de Roever - Programming Concepts and Methods PROCOMET ’98, Inbunden

      Programming Concepts and Methods PROCOMET ’98

      David Gries, Willem-Paul de Roever

      Inbunden, 1998

      2 281 kr

      David Gries, Fred B. Schneider - Logical Approach to Discrete Math, Häftad

      Logical Approach to Discrete Math

      David Gries, Fred B. Schneider

      Häftad, 2010

      629 kr

      J. Misra, David Gries, A.J.M. van Gasteren, W.H.J. Feijen - Beauty Is Our Business, E-bok

      Beauty Is Our Business

      J. Misra, David Gries, A.J.M. van Gasteren, W.H.J. Feijen

      E-bok
      2012

      2 948 kr

      David Gries - Programming Methodology, E-bok

      Programming Methodology

      David Gries

      E-bok
      2012

      739 kr

      David Gries - Programming Methodology, Häftad

      Programming Methodology

      David Gries

      Häftad, 2011

      569 kr

      Hoppa över listan

      Mer från samma serie

      Clark Allan Heydon, Roy Levin, Timothy P. Mann, Yuan Yu - Software Configuration Management Using Vesta, Inbunden

      Software Configuration Management Using Vesta

      Clark Allan Heydon, Roy Levin, Timothy P. Mann, Yuan Yu

      Inbunden, 2006

      1 144 kr

      Donna Ryan, New York University Courant Inst. Mathematical Sciences, Donna Ryan - High Performance Discovery In Time Series, Inbunden

      High Performance Discovery In Time Series

      Donna Ryan, New York University Courant Inst. Mathematical Sciences, Donna Ryan

      Inbunden, 2004

      1 095 kr

      Dick Grune, Ceriel J.H. Jacobs - Parsing Techniques, Inbunden

      Parsing Techniques

      Dick Grune, Ceriel J.H. Jacobs

      Inbunden, 2007

      2 508 kr

      J.M. Selig - Geometric Fundamentals of Robotics, Inbunden

      Geometric Fundamentals of Robotics

      J.M. Selig

      Inbunden, 2004

      1 111 kr

      Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec - Evolutionary Synthesis of Pattern Recognition Systems, Inbunden

      Evolutionary Synthesis of Pattern Recognition Systems

      Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec

      Inbunden, 2005

      1 712 kr

      Iman Poernomo, John N. Crossley, Martin Wirsing - Adapting Proofs-as-Programs, Inbunden

      Adapting Proofs-as-Programs

      Iman Poernomo, John N. Crossley, Martin Wirsing

      Inbunden, 2005

      1 663 kr

      Annabelle McIver, Charles Carroll Morgan - Abstraction, Refinement and Proof for Probabilistic Systems, Inbunden

      Abstraction, Refinement and Proof for Probabilistic Systems

      Annabelle McIver, Charles Carroll Morgan

      Inbunden, 2004

      1 663 kr

      Paolo Tonella, Alessandra Potrich - Reverse Engineering of Object Oriented Code, Inbunden

      Reverse Engineering of Object Oriented Code

      Paolo Tonella, Alessandra Potrich

      Inbunden, 2004

      1 144 kr

      Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel - Numerical Geometry of Non-Rigid Shapes, Inbunden

      Numerical Geometry of Non-Rigid Shapes

      Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel

      Inbunden, 2008

      835 kr

      Bhubaneswar Mishra - Algorithmic Algebra, Inbunden

      Algorithmic Algebra

      Bhubaneswar Mishra

      Inbunden, 1993

      559 kr

      Hoppa över listan

      Du kanske också är intresserad av

      David Gries - Science of Programming, E-bok

      Science of Programming

      David Gries

      E-bok
      2012

      1 292 kr

      David Gries, Willem-Paul de Roever - Programming Concepts and Methods PROCOMET ’98, Häftad

      Programming Concepts and Methods PROCOMET ’98

      David Gries, Willem-Paul de Roever

      Häftad, 2013

      2 255 kr

      David Gries - Programming Methodology, Häftad

      Programming Methodology

      David Gries

      Häftad, 2011

      569 kr

      Fred B. Schneider, David Gries - Logical Approach to Discrete Math, E-bok

      Logical Approach to Discrete Math

      Fred B. Schneider, David Gries

      E-bok
      2013

      789 kr

      David Gries, Willem-Paul de Roever - Programming Concepts and Methods PROCOMET '98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12, Övrigt

      Programming Concepts and Methods PROCOMET '98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12

      David Gries, Willem-Paul de Roever

      665 kr

      David Gries - Programming Methodology, E-bok

      Programming Methodology

      David Gries

      E-bok
      2012

      739 kr

      Willem-Paul de Roever, David Gries - Programming Concepts and Methods PROCOMET '98, E-bok

      Programming Concepts and Methods PROCOMET '98

      Willem-Paul de Roever, David Gries

      E-bok
      2013

      2 925 kr

      David Gries, Fred B. Schneider - Logical Approach to Discrete Math, Häftad

      Logical Approach to Discrete Math

      David Gries, Fred B. Schneider

      Häftad, 2010

      629 kr

      J. Misra, David Gries, A.J.M. van Gasteren, W.H.J. Feijen - Beauty Is Our Business, E-bok

      Beauty Is Our Business

      J. Misra, David Gries, A.J.M. van Gasteren, W.H.J. Feijen

      E-bok
      2012

      2 948 kr

      David Gries, Fred B. Schneider - A Logical Approach to Discrete Math, Övrigt

      A Logical Approach to Discrete Math

      David Gries, Fred B. Schneider

      646 kr