Bokus

D. Gries – författare

Visar alla böcker från författaren D. Gries. Handla med fri frakt och snabb leverans.

3 produkter

  1. F.L. Bauer, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner, F.L. Bauer, M. Broy - Program Construction, Häftad. Tillgänglighet: Lägg i varukorg

    Program Construction

    International Summer School

    Av F.L. Bauer, E.W. Dijkstra m. fl.

    Häftad, 1979

    535 kr

    Lägg i varukorg

  2. Andrzej Blikle, D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth - MetaSoft Primer, Häftad. Tillgänglighet: Lägg i varukorg

    MetaSoft Primer

    Towards a Metalanguage for Applied Denotational Semantics

    Av Andrzej Blikle, D. Barstow m. fl.

    Häftad, 1987

    569 kr

    Lägg i varukorg

    The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also …

  3. H. Wossner, M. Wirsing, P. Pepper, H. Partsch, C. Pair, S. S. Owicki, J. J. Horning, J. V. Guttag, M. Griffiths, D. Gries, S.L. Gerhart, E.W. Dijkstra, F.L. Bauer, M. Broy, F.L. Bauer - Program Construction, E-bok. Tillgänglighet: Lägg i varukorg

    Program Construction

    International Summer School

    Av H. Wossner, M. Wirsing m. fl.

    E-bok, 2005

    701 kr

    Lägg i varukorg