Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

549,00 DKK
+ 86,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

549,00 DKK

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

14-dages returpolitik

Sоlgt af:

549,00 DKK

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

14-dages returpolitik

Betalingsmetoder:

Beskrivelse

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.
  • 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: 86,49 DKK - Levering mellem kl tor. 08 januar 2026–ons. 14 januar 2026

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