Z: An Introduction to Formal Methods

874,00 kr
+ 80,49 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

874,00 kr

Spara 175,00 kr (16%)

RRP

1 049,00 kr
I lager
+ 80,49 kr Leverans

14-dagars returpolicy

Säljs av:

874,00 kr

Spara 175,00 kr (16%)

RRP

1 049,00 kr
I lager
+ 80,49 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: 80,49 kr - Leverans mellan kl mån 05 januari 2026–fre 23 januari 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