Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
Produktbild: Woodcock, J: Using Z

Woodcock, J: Using Z

Fr. 1.90

inkl. gesetzl. MwSt., zzgl. Versandkosten

  • Kostenlose Lieferung ab Fr. 30 Einkaufswert

    Schweiz & Liechtenstein:

    Versandkostenfrei ab Fr. 30.00
    Versandkosten bis Fr. 30.00: Fr. 3.50

    Andere Lieferländer

    Fr. 18.00 unabhängig vom Warenwert

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.03.1996

Verlag

Prentice Hall

Seitenzahl

408

Maße (L/B/H)

23.5/17.2/3.4 cm

Gewicht

100 g

Sprache

Englisch

ISBN

978-0-13-948472-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.03.1996

Verlag

Prentice Hall

Seitenzahl

408

Maße (L/B/H)

23.5/17.2/3.4 cm

Gewicht

100 g

Sprache

Englisch

ISBN

978-0-13-948472-8

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Woodcock, J: Using Z
    1. Introduction.
    2. Propositional Logic.
    3. Predicate Logic.
    4. Equality and Definite Description.
    5. Sets.
    6. Definitions.
    7. Relations.
    8. Functions.
    9. Sequences.
    10. Free Types.
    11. Schemas Schema Operators.
    12. Promotion, Preconditons.
    13. Data Refinement.
    14. Relaxing and Unwinding Data Refinement and Z.
    15. Applications of Data Refinement.
    16. The Refinement Calculus.
    17. A File System.
    18. A Telecommunications Protocol.
    19. An Operating System Scheduler: A Bounded Buffer Module.
    20. An Unordered Set Module.
    21. A Save Area.
    22. Solutions to Exercises.
    23. Appendices.
    24. Bibliography.
    25. Index.