Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

699,00 kr
+ 98,49 kr Leverans

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Märke: Unbranded
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Märke: Unbranded
Pris: 699,00 kr
Säljs av:
699,00 kr
+ 98,49 kr Leverans

Bara 1 kvar i lager

Vi erbjuder följande betalsätt

Beskrivning

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: 98,49 kr - Leverans mellan kl fre 26 september 2025–tis 30 september 2025

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