Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

524,00 DKK
+ 89,49 DKK Levering
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Brand: Unbranded
Sоlgt af:

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Brand: Unbranded

524,00 DKK

kun 1tilbage på lager
+ 89,49 DKK Levering
Sоlgt af:

524,00 DKK

kun 1tilbage på lager
+ 89,49 DKK Levering

Vi accepterer følgende betalingsmetoder

Beskrivelse

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.
  • Brand: Unbranded
  • Kategori: Computer og internet
  • Format: Paperback
  • Forlag / Pladeselskab: Springer Nature Swit
  • Udgivelsesdato: 2023-06-24
  • Længde: 524
  • Forfatter: Siraj Ahmed Shaikh
  • Sprog: English
  • Fruugo ID: 339437055-744601969
  • ISBN: 9783030388027

Levering og returnering

Sendes inden for 24 timer

  • STANDARD: 89,49 DKK - Levering mellem kl fre. 31 oktober 2025–tor. 06 november 2025

Afsendes fra Storbritannien.

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne. Se fuld returpolitik