Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

319,00 RON
+ 80,99 RON Livrare

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Marcă: Unbranded
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Marcă: Unbranded
Preţ: 319,00 RON
Vândut de:
319,00 RON
+ 80,99 RON Livrare

Doar 1 rămase în stoc

Acceptăm următoarele metode de plată

Descriere

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.
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Lungime: 524
  • Limbă: English
  • Format: Paperback
  • Data publicării: 2023-06-24
  • Editor / Etichetă: Springer Nature Swit
  • Autor: Siraj Ahmed Shaikh
  • ID Fruugo: 339437055-744601969
  • ISBN: 9783030388027

Livrări şi Returnări

Expediat în 24 de ore

  • STANDARD: 80,99 RON - Livrare între lun. 29 septembrie 2025–vin. 03 octombrie 2025

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare