• 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
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

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
    • 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 @ CookiesAnpassa 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 002 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

    560 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

    866 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 219 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 219 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

    619 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 917 kr

    David Gries - Programming Methodology, E-bok

    Programming Methodology

    David Gries

    E-bok
    2012

    732 kr

    David Gries - Programming Methodology, Häftad

    Programming Methodology

    David Gries

    Häftad, 2011

    560 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 113 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 065 kr

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

    Parsing Techniques

    Dick Grune, Ceriel J.H. Jacobs

    Inbunden, 2007

    2 440 kr

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

    Geometric Fundamentals of Robotics

    J.M. Selig

    Inbunden, 2004

    1 081 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 666 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 618 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 618 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 113 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

    812 kr

    Bhubaneswar Mishra - Algorithmic Algebra, Inbunden

    Algorithmic Algebra

    Bhubaneswar Mishra

    Inbunden, 1993

    544 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 219 kr

    David Gries - Programming Methodology, Häftad

    Programming Methodology

    David Gries

    Häftad, 2011

    560 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

    732 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

    619 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 917 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