/ Böcker / Datorer & IT / Programmering / Programvaruteknik
Filter
Går att beställa

Programvaruteknik

Filter
Går att beställa
  • Änderbarkeit durch Objektorientierung

    Änderbarkeit durch Objektorientierung

    av

    E-bok, 2013, Tyska, ISBN 9783322887832

    Mit den Begriffen Hard- und Software verbindet man anschau­ lich die Vorstellung von Strukturen, die man nur sehr schwer bzw. ganz leicht ändern kann. Die Erfahrung hat aber …

    E-bok
    672 kr
  • Z User Workshop, York 1991

    Z User Workshop, York 1991

    häftad, 1992, Engelska, ISBN 9783540197805

    In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over …

    häftad
    686 kr
  • Z User Workshop, York 1991

    Z User Workshop, York 1991

    E-bok, 2012, Engelska, ISBN 9781447132035

    In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over …

    E-bok
    817 kr
  • Z User Workshop, Oxford 1990

    Z User Workshop, Oxford 1990

    E-bok, 2013, Engelska, ISBN 9781447135401
    E-bok
    817 kr
  • Z User Workshop, Oxford 1990

    Z User Workshop, Oxford 1990

    häftad, 1991, Engelska, ISBN 9783540196723

    The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom- position methods for sequential programs - such as are used in VDM [Jon90] - to cover …

    häftad
    686 kr
  • Z User Workshop, London 1992

    Z User Workshop, London 1992

    E-bok, 2013, Engelska, ISBN 9781447135562

    The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as …

    E-bok
    817 kr
  • Z User Workshop, London 1992

    Z User Workshop, London 1992

    häftad, 1993, Engelska, ISBN 9783540198185

    The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as …

    häftad
    686 kr
  • Z User Workshop

    Z User Workshop

    E-bok, 2013, Engelska, ISBN 9781447138778

    The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a …

    E-bok
    817 kr
  • Z User Workshop

    Z User Workshop

    häftad, 1990, Engelska, ISBN 9783540196273

    The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a …

    häftad
    686 kr
  • Zur Logik der Logik-Programmierung

    Zur Logik der Logik-Programmierung

    av

    E-bok, 2013, Tyska, ISBN 9783642744037
    E-bok
    672 kr