De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Bøger af J. M. (University of Oxford) Spivey

Filter
Filter
Sorter efterSorter Populære
  • - A Specification Language and its Formal Semantics
    af J.M. Spivey
    438,95 kr.

    The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.