Modeling in Event-B

2 099,00 kr
+ 97,49 kr Leverans

Modeling in Event-B

Säljs av:
  • product image

2 099,00 kr

I lager
+ 97,49 kr Leverans

14-dagars returpolicy

Köparskydd

Betalningsmetoder:

  • Märke: Unbranded
Produktinformation

Produktinformation

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
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Artist: Abrial Jean-Raymond
  • Format: Hardback
  • Publiceringsdatum: 2010/05/13
  • Sidantal: 614
  • Förläggare / Bolag: Cambridge University Press
  • Språk: English
  • Fruugo-ID: 337998498-741659387
  • ISBN: 9780521895569
Löfte

Säljarens garanti

2 års lagstadgad garanti ingår

Dina EU-konsumenträttigheter inkluderar en kostnadsfri minst 2-årig lagstadgad garanti

Ladda ner lagstadgad garanti för överensstämmelse
Leverans

Leverans

Skickas inom 5 dagar

  • STANDARD: 97,49 kr - Leverans mellan kl ons 28 oktober 2026–mån 02 november 2026

Leverans från Storbritannien.

Returer

Returer och avbokningar

Returer

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna.

Visa fullständig returpolicy

Avbokningar

Du har rätt att ångra ditt köp inom 14 dagar från att du mottagit din beställning utan att ange någon anledning. För att enkelt utöva din rätt kan du använda länken "Avbryt min beställning" i sidfoten på varje sida eller i ditt Fruugo-konto under "Beställningar". När du har utnyttjat din ångerrätt skickar vi dig en e-postbekräftelse. Om din beställning redan har skickats av återförsäljaren kommer vi att förse dig med nödvändiga returinstruktioner för att säkerställa att din återbetalning behandlas snabbt.

Visa fullständig avbokningspolicy