Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

€ 59,00
+ € 12,49 Verzending
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Merk: Unbranded
Verkocht door:

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Merk: Unbranded

€ 59,00

Nog maar 1 op voorraad
+ € 12,49 Verzending
Verkocht door:

€ 59,00

Nog maar 1 op voorraad
+ € 12,49 Verzending

We accepteren de volgende betalingsmethoden

Beschrijving

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.
  • Merk: Unbranded
  • Categorie: Computers & Internet
  • Auteur: Siraj Ahmed Shaikh
  • Lengte: 524
  • Uitgever / Label: Springer Nature Swit
  • Formaat: Paperback
  • Verschijningsdatum: 2023-06-24
  • Taal: English
  • Fruugo-ID: 339437055-744601969
  • ISBN: 9783030388027

Levering & retouren

Wordt binnen 24 uur verzonden

  • STANDARD: € 12,49 - Levering tussen do 20 november 2025–wo 26 november 2025

Verzending vanaf Verenigd Koninkrijk.

We doen ons best om ervoor te zorgen dat de producten die u bestelt volledig en volgens uw specificaties bij u worden afgeleverd. Mocht u echter een onvolledige bestelling ontvangen of andere artikelen dan degene die u heeft besteld, of als er een andere reden is waarom u niet tevreden bent met de bestelling, dan kunt u de bestelling retourneren, of welk product dan ook die bij de bestelling was inbegrepen, en ontvangt u een volledige terugbetaling voor de artikelen. Bekijk het volledige retourbeleid