Modeling In Event-B System and Software Engineering
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Uitgever: Cambridge University Press
Auteur:
Jean-Raymond Abrial
- Engels
- Hardcover
- 9780521895569
- 13 mei 2010
- 586 pagina's
Samenvatting
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.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Hardcover
- Oorspronkelijke releasedatum
- 13 mei 2010
- Aantal pagina's
- 586
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Jean-Raymond Abrial
- Hoofduitgeverij
- Cambridge University Press
Overige kenmerken
- Editie
- 1
- Extra groot lettertype
- Nee
- Product breedte
- 195 mm
- Product hoogte
- 35 mm
- Product lengte
- 253 mm
- Studieboek
- Ja
- Verpakking breedte
- 198 mm
- Verpakking hoogte
- 253 mm
- Verpakking lengte
- 37 mm
- Verpakkingsgewicht
- 1333 g
EAN
- EAN
- 9780521895569
Je vindt dit artikel in
- Categorieën
- Boek, ebook of luisterboek?
- Boek
- Taal
- Engels
- Beschikbaarheid
- Leverbaar
- Studieboek of algemeen
- Algemene boeken
Kies gewenste uitvoering
Kies je bindwijze
(2)
Prijsinformatie en bestellen
De prijs van dit product is 138 euro en 99 cent.
2 - 3 weken
Verkoop door bol
- Prijs inclusief verzendkosten, verstuurd door bol
- Ophalen bij een bol afhaalpunt mogelijk
- 30 dagen bedenktijd en gratis retourneren
- Dag en nacht klantenservice
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.