Z: An Introduction to Formal Methods

94,00 €
+ 10,99 € Doručenie
  • product image

Z: An Introduction to Formal Methods

Predáva:

Z: An Introduction to Formal Methods

94,00 €

Na sklade
+ 10,99 € Doručenie

Politika vrátenia 14 dní

Predáva:

94,00 €

Na sklade
+ 10,99 € Doručenie

Politika vrátenia 14 dní

Spôsoby platby:

Popis

Z: An Introduction to Formal Methods

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.
  • Značka: John Wiley & Sons Inc
  • Kategória: Počítače a internet
  • Počet strán: 400
  • Formátovať: Paperback
  • Jazyk: English
  • Dátum vydania: 2023-05-02
  • Autor: Antoni Diller (University of Birmingham)
  • Vydavateľ / štítok: John Wiley & Sons Inc
  • Fruugo ID: 346738017-757978109
  • ISBN: 9780471939733

Dodanie a vrátenie

Odoslané do 6 dní

  • STANDARD: 10,99 € - Doručenie medzi pi 20 februára 2026–št 12 marca 2026

Doručenie od Spojené kráľovstvo.

Snažíme sa, aby sme výrobky, ktoré si objednáte, doručili celkom v súlade s vašou špecifikáciou. Ak by ste však dostali neúplnú objednávku alebo iný tovar ako ten, ktorý ste si objednali, alebo existuje nejaký iný dôvod, prečo nie ste s objednávkou spokojní, môžete objednávku alebo niektoré produkty z nej vrátiť a za tovar dostať plnú náhradu. Pozrite si všetky pravidlá vrátenia