Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

674,00 kr
+ 88,49 kr Leverans
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Märke: Unbranded
Säljs av:

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Märke: Unbranded

674,00 kr

Bara 1 kvar i lager
+ 88,49 kr Leverans

14-dagars returpolicy

Säljs av:

674,00 kr

Bara 1 kvar i lager
+ 88,49 kr Leverans

14-dagars returpolicy

Betalningsmetoder:

Beskrivning

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

Software programs are formal entities with precise meanings independent of their programmers so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduatelevel introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours.
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Format: Paperback
  • Publiceringsdatum: 2023-06-24
  • Längd: 524
  • Förläggare / Bolag: Springer Nature Swit
  • Språk: English
  • Författare: Siraj Ahmed Shaikh
  • Fruugo-ID: 339437055-744601969
  • ISBN: 9783030388027

Leverans och returer

Skickas inom 24 timmar

  • STANDARD: 88,49 kr - Leverans mellan kl mån 12 januari 2026–ons 14 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