• 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. Systemvetenskap och AI

      Programming Methodology

      A Collection of Articles by Members of IFIP WG2.3

      AvDavid Gries

      Häftad, Engelska, 2011

      Del i serien Monographs in Computer Science

      581 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This volume is being published for two reasons. The first is to present a collection of previously published articles on the subject of programming methodology that have helped define the field and give it direction. It is hoped that the scientist in the field will find the volume useful as a reference, while the scientist in neighboring fields will find it useful in seriously acquainting himself with important ideas in programming methodology. The advanced student can also study it-either in a course or by himself -in order to learn significant material that may not appear in texts for some time. The second reason for this volume is to make public the nature and work on programming methodology of IFIP Working Group 2.3, hereafter called WG2.3. (IFIP stands for International Federation for Information Processing.) WG2.3 is one of many IFIP Working Groups that have been established to provide international forums for discussion of ideas in various areas. Generally, these groups publish proceedings of some of their meetings and occasionally they sponsor a larger conference that persons outside a group can attend. WG2.3 has been something of a maverick in this respect. From the beginning the group has shunned paperwork, reports, meetings, and the like. This has meant less pUblicity for IFIP and WG2.3, but on the other hand it has meant that meetings could be devoted almost wholly to scientific discussions.

      Produktinformation

      • Utgivningsdatum:2011-11-09
      • Mått:155 x 235 x 25 mm
      • Vikt:692 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Monographs in Computer Science
      • Antal sidor:437
      • Förlag:Springer-Verlag New York Inc.
      • ISBN:9781461263173

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT

      Innehållsförteckning

      • A History of WG2.3.- I: Viewpoints on Programming.- 1. The humble programmer.- 2. Software engineering.- 3. Software engineering—some principles and problems.- 4. The engineering of software: a startling contradiction.- 5. Programs, cities, students—limits to growth?.- 6. On structured programming.- II: The Concern for Program Correctness.- 7. Correctness concerns and, among other things, why they are resented.- 8. An axiomatic basis for computer programming.- 9. Proof of a program: FIND.- 10. An approach to correctness proofs for semicoroutines.- 11. An axiomatic proof technique for parallel programs.- 12. Programming with transition diagrams.- 13. Guarded commands, nondeterminacy, and formal derivation of programs.- 14. A system which automatically improves programs.- III: Harnessing Parallelism.- 15. Towards a theory of parallel programming.- 16. Structured multiprogramming.- 17. Monitors: an operating system structuring concept.- 18. The programming language Concurrent Pascal.- IV: Data Types.- 19. Proof of correctness of data representations.- 20. The algebraic specification of abstract data types.- 21. User-defined types and procedural data structures as complementary approaches to data abstraction.- V: Software Development.- 22. Program development by stepwise refinement.- 23. On a “buzzword”: hierarchical structure.- 24. On the design and development of program families.- 25. System structure for software fault tolerance.- 26. Structured analysis (SA): a language for communicating ideas.- References.
      Hoppa över listan

      Du kanske också är intresserad av

      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 304 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 - Science of Programming, E-bok

      Science of Programming

      David Gries

      E-bok
      2012

      1 306 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

      672 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

      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 304 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

      642 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

      652 kr