Filtrera

Ämne
  • (7)
  • (1)
Format
  • (6)
  • (2)
Leveranstid
  • (6)

E Dijkstra - Böcker

Visar alla böcker av E Dijkstra. Handla med fri frakt och snabb leverans!

Sortering:

  1. Program Construction

    av F L Bauer, Susan Speer Owicki, E W Dijkstra, S L Gerhart, D Gries

    Häftad, Engelska, 1979-06-01
    727
    Köp
    Skickas från oss inom 7-10 vardagar.
    Program Construction

    A more formal treatment of a less simple example.- Stationary behaviour of some ternary networks.- Finding the correctness proof of a concurrent program.- On the interplay between mathematics and programming.- A theorem about odd powers of odd int...

    Läs mer »

  2. Program Construction E-bok

    av F L Bauer, F L Bauer, E W Dijkstra, M Broy, S L Gerhart

    E-bok (PDF, LCP), Engelska, 2005-11-23
    713
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Program Construction

  3. Constructive Methods in Computing Science E-bok

    av F L Bauer, Manfred Broy, M Broy, E W Dijkstra, C A Hoare

    E-bok (PDF, LCP), Engelska, 2012-12-06
    1483
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Constructive Methods in Computing Science

    Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehe...

    Läs mer »

  4. Programming and Mathematical Method E-bok

    av Manfred Broy, F L Bauer, Manfred Broy, E W Dijkstra, C A R Hoare

    E-bok (PDF, LCP), Engelska, 2012-12-06
    1483
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Programming and Mathematical Method

    The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs...

    Läs mer »

  5. Programming and Mathematical Method

    av Manfred Broy, F L Bauer, Manfred Broy, E W Dijkstra, C A R Hoare

    Häftad, Engelska, 2011-12-21
    1505
    Köp
    Skickas från oss inom 7-10 vardagar.
    Programming and Mathematical Method

    The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs...

    Läs mer »

  6. Control Flow and Data Flow: Concepts of Distributed Programming E-bok

    av F L Bauer, Manfred Broy, E W Dijkstra, C A R Hoare

    E-bok (PDF, LCP), Engelska, 2012-12-06
    1483
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Control Flow and Data Flow: Concepts of Distributed Programming

    In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for computing sci enti sts. The foundati ons of di stribute...

    Läs mer »

  7. Logic of Programming and Calculi of Discrete Design E-bok

    av F Bauer, Manfred Broy, M-Broy, E W Dijkstra, C A R Hoare

    E-bok (PDF, LCP), Engelska, 2012-12-06
    746
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Logic of Programming and Calculi of Discrete Design

    In computing science design plays an eminently important role. By now, it is quite clear that the issue of proper design of programs within a formal calculus is one of the most interesting and most difficult parts of computing science. Many demand...

    Läs mer »

  8. Genesis and Properties of Collapsible Soils E-bok

    av Tom Dijkstra, E Derbyshire, Ian J Smalley

    E-bok (PDF, LCP), Engelska, 2012-12-06
    4133
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Genesis and Properties of Collapsible Soils

    Collapsing engineering soils are a formidable hazard around the world. These difficult materials also include some of the world's most fertile agricultural soils, fostering dense human populations which are therefore increasingly at risk. Despite ...

    Läs mer »