674,00 RON
+ 32,99 RON Livrare

Reactive Systems

  • Marcă: Unbranded
Vândut de:

Reactive Systems

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

În stoc

Acceptăm următoarele metode de plată

Descriere

This accessible text describes the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Offering a balanced introduction for graduate students the book describes all the various approaches their strengths and weaknesses and when they are best used. Language: English
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Artist: Anna Ingolfsdottir
  • Limbă: English
  • Număr de pagini: 302
  • Format: Hardback
  • Data publicării: 2007/08/09
  • Editor / Etichetă: Cambridge University Press
  • ID Fruugo: 337988231-741648789
  • ISBN: 9780521875462

Livrări şi Returnări

Expediat în 4 zile

  • STANDARD: 32,99 RON - Livrare între vin. 24 octombrie 2025–mie. 29 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