Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Studiebog
Paperback version af Z af Antoni Diller

Z

- An Introduction to Formal Methods

Af
Bog
  • Format
  • Bog, paperback
  • Engelsk

Normalpris

kr. 499,95

Medlemspris

kr. 469,95
  • Du sparer kr. 30,00
  • Fri fragt
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.

Læs hele beskrivelsen
Detaljer
  • SprogEngelsk
  • Sidetal400
  • Udgivelsesdato03-05-1994
  • ISBN139780471939733
  • Forlag John Wiley & Sons Inc
  • FormatPaperback
Størrelse og vægt
  • Vægt680 g
  • Dybde2,3 cm
    • coffee cup img
    10 cm
    book img
    16,8 cm
    24,7 cm

    Anmeldelser

    Vær den første!

    Log ind for at skrive en anmeldelse.

    Findes i disse kategorier...