Z: An Introduction to Formal Methods

799,00 kr
+ 74,99 kr Leverans
  • product image
Z: En introduktion till formella metoder

Z: An Introduction to Formal Methods

Säljs av:

Z: An Introduction to Formal Methods

799,00 kr

I lager
+ 74,99 kr Leverans

14-dagars returpolicy

Säljs av:

799,00 kr

I lager
+ 74,99 kr Leverans

14-dagars returpolicy

Betalningsmetoder:

Beskrivning

Z: An Introduction to Formal Methods

Erbjuder en grundlig och omfattande introduktion till Z. Använder standardnotation med praktiska övningar och tydliga beskrivningar och förklaringar. Innehåller information om hur Z-specifikationer ska relateras till faktisk programkod och har förbättrats för att återspegla de senaste språkstandarderna.
  • Märke: John Wiley & Sons Inc
  • Kategori: Datorer & Internet
  • Format: Pocketbok
  • Publiceringsdatum: 2023-05-02
  • Sidantal: 400
  • Förläggare / Bolag: John Wiley & söner Inc
  • Språk: Engelska
  • Författare: Antoni Diller (Birminghams universitet)
  • Fruugo-ID: 346738017-757978109
  • ISBN: 9780471939733

Leverans och returer

Skickas inom 6 dagar

  • STANDARD: 74,99 kr - Leverans mellan kl fre 20 februari 2026–tors 12 mars 2026

Leverans från Storbritannien.

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna. Visa fullständig returpolicy