Modeling in Event-B

999,00 RON
+ 38,99 RON Livrare

Modeling in Event-B

Vândut de:
  • product image

999,00 RON

În stoc
+ 38,99 RON Livrare

Politica de retur pe 14 zile

Protecție cumpărător

Metode de plată:

  • Marcă: Unbranded
Detalii produs

Detalii produs

Modeling in Event-B

A practical text suitable for an introductory or advanced course in formal methods this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and more generally discrete systems but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments including sequential programs concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set which is available free for download at www. event-b. org. Language: English
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Artist: Abrial Jean-Raymond
  • Limbă: English
  • Număr de pagini: 614
  • Format: Hardback
  • Data publicării: 2010/05/13
  • Editor / Etichetă: Cambridge University Press
  • ID Fruugo: 337998498-741659387
  • ISBN: 9780521895569
Promisiune

Garanția vânzătorului

Garanție legală de 2 ani inclusă

Drepturile dumneavoastră de consumator din UE includ o garanție legală gratuită de minimum 2 ani

Descărcați garanția legală de conformitate
Livrare

Livrare

Expediat în 5 zile

  • STANDARD: 38,99 RON - Livrare între mar. 27 octombrie 2026–vin. 30 octombrie 2026

Livrare de la Regatul Unit.

Retururi

Returnări și anulări

Returnări

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

Anulări

Aveți dreptul de a retrage achiziția în termen de 14 zile de la primirea comenzii, fără a oferi un motiv. Pentru a vă exercita cu ușurință dreptul, puteți utiliza linkul „Anulați comanda” din subsolul fiecărei pagini sau din contul dvs. Fruugo, la secțiunea „Comenzi”. După ce vă exercitați dreptul de retragere, vă vom trimite un e-mail de confirmare. Dacă comanda dvs. a fost deja expediată de comerciant, vă vom oferi instrucțiunile de returnare necesare pentru a ne asigura că rambursarea dvs. este procesată prompt.

Vezi politica completă de anulare