Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

NOK 674,00
+ NOK 147,49 i frakt
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Merke: Unbranded
Solgt av:

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Merke: Unbranded

NOK 674,00

Kun 1 igjen på lager
+ NOK 147,49 i frakt
Solgt av:

NOK 674,00

Kun 1 igjen på lager
+ NOK 147,49 i frakt

Vi godtar 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.
  • Merke: Unbranded
  • Kategori: Databehandling & internett
  • Lengde: 524
  • Format: Paperback
  • Forlag / Selskap: Springer Nature Swit
  • Publiseringsdato: 2023-06-24
  • Forfatter: Siraj Ahmed Shaikh
  • Språk: English
  • Fruugo-ID: 339437055-744601969
  • ISBN: 9783030388027

Levering og retur

Sendes i løpet av 24 timer

  • STANDARD: NOK 147,49 - Levering mellom kl tir. 25 november 2025–tor. 27 november 2025

Sendes fra Storbritannia.

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene. Se fullstendige retningslinjer for retur