Z: An Introduction to Formal Methods

429,00 RON
+ 139,99 RON Livrare
  • product image

Z: An Introduction to Formal Methods

Vândut de:

Z: An Introduction to Formal Methods

429,00 RON

Economii 95,00 RON (18%)

Preț recomandat

524,00 RON
În stoc
+ 139,99 RON Livrare

Politica de retur pe 14 zile

Vândut de:

429,00 RON

Economii 95,00 RON (18%)

Preț recomandat

524,00 RON
În stoc
+ 139,99 RON Livrare

Politica de retur pe 14 zile

Metode de plată:

Descriere

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.
  • Marcă: John Wiley & Sons Inc
  • Categorie: Calcul și internet
  • Limbă: English
  • Număr de pagini: 400
  • Format: Paperback
  • Data publicării: 2023-05-02
  • Editor / Etichetă: John Wiley & Sons Inc
  • Autor: Antoni Diller (University of Birmingham)
  • ID Fruugo: 346738017-757978109
  • ISBN: 9780471939733

Livrări şi Returnări

Expediat în 6 zile

  • STANDARD: 139,99 RON - Livrare între lun. 05 ianuarie 2026–vin. 23 ianuarie 2026

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare