Code: 32284073
Using Event-B for Critical Device Software Systems
by Keith Glover
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and phy ... more
- Language:
English - Binding: Paperback
- Number of pages: 334
Publisher: Createspace Independent Publishing Platform, 2017
- More about this
42.70 €
RRP: 45.98 €
You save 3.28 €
In stock at our supplier
Shipping in 14 - 21 days
You might also like
-
Ako si vycvičit draka – Začíname čítať - Noví priatelia
6.57 € -20 % -
Red Wyvern
15.27 € -20 % -
Pearson REVISE Edexcel GCSE Maths Higher Revision Workbook - 2023 and 2024 exams
10.72 € -
Albertus Magnus and the World of Nature
18.91 € -25 % -
Pretentiousness: Why It Matters
13.45 € -24 % -
Architectural Drawing
30.96 € -2 % -
LITTÉRATURE PROGRESSIVE DE LA FRANCOPHONIE NIVEAU INTERMÉDIAIRE B1,B2 - LIVRE -
31.56 € -2 % -
99 Tips to Get Better at Spearfishing
23.47 € -7 % -
Технология производства и переработки продукции свиноводства. Учебник для ВО, 1-е изд.
58.99 € -11 % -
Beyond the Science/Religion Debate
12.03 € -24 % -
Flagship
21.04 € -21 % -
Vita quotidiana dei Bastardi di Pizzofalcone
29.84 € -9 % -
Handbook of Research on Herbal Liver Protection
269.08 € -
A Critical Examination of the Question in Regard to the Time of Our Saviour's Crucifixion
20.53 € -14 % -
Windows on Literacy Language, Literacy & Vocabulary Fluent Plus (Science): Life Cycles of Animals
23.27 € -9 % -
LOS SOTANOS DE LA TIERRUCA
29.64 € -
Alte Liebe Und Anderes. Novellen
22.35 € -11 % -
Ultimate Solution
24.08 € -
Governing Partners
199.86 € -
Automating Building Energy Management for Accelera ted Building Decarbonization
113.94 € -1 % -
Subject of Human Rights
136.51 € -
Belgrad - 1.000 Teile (Puzzle)
31.46 € -5 % -
Immigration in Modern Times - the What, the Where and the How
10.92 € -
Fugitives
9.81 € -6 % -
Finanzas para emprendedores
29.84 € -9 % -
101 Top Tips in Medicine
39.76 € -
Handbook of Research on Artificial Intelligence, Innovation and Entrepreneurship
306.12 € -
Robby aus der Räuberhöhle, 1 Audio-CD
10.82 € -5 % -
Encephalitis Lethargica
262.91 € -
Czech Renaissance folk songs for DADGAD Guitar
11.63 € -7 % -
Hilary Putnam
78.82 € -
Nebeski Putnici
13.15 € -
Social Information Technology
187.71 € -
Die Naturliche Theologie (1882)
43.61 € -1 % -
Be With Me
14.06 € -7 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Using Event-B for Critical Device Software Systems
You get 103 loyalty points
Book synopsis
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health do
Book details
42.70 €
- Full title: Using Event-B for Critical Device Software Systems
- Author: Keith Glover
- Language: English
- Binding: Paperback
- Number of pages: 334
- EAN: 9781981128860
- ISBN: 1981128867
- ID: 32284073
- Publisher: Createspace Independent Publishing Platform
- Weight: 775 g
- Dimensions: 280 × 216 × 18 mm
- Date of publishing: 23. August 2017
Trending among others
-
Moonwalk
14.06 € -18 % -
Berserk Deluxe Volume 1
35.92 € -25 % -
The Score
12.34 € -9 % -
The Mistake
11.32 € -16 % -
The Deal
12.34 € -9 % -
Murdoku
13.55 € -27 % -
Threshing Day (Wing and Claw Collection)
17.80 € -29 % -
Berserk Deluxe Volume 2
36.32 € -31 % -
Jujutsu Kaisen, Vol. 30
9.71 € -25 % -
Berserk Deluxe Volume 3
55.35 € -
Dancing The Dream
21.34 € -26 % -
White Nights
4.54 € -14 % -
The Goal
12.94 € -4 % -
Jujutsu Kaisen, Vol. 26
9.91 € -20 % -
Threshing Day (Limited Deluxe Edition)
20.13 € -26 % -
Jujutsu Kaisen, Vol. 29
9.30 € -25 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
16.99 € -14 % -
Berserk Deluxe Volume 5
55.04 € -
Onyx Storm (Deluxe Limited Edition) (The Empyrean, 3)
24.08 € -25 % -
The Legacy
11.93 € -22 % -
Chainsaw Man, Vol. 21
9.91 € -20 % -
Berserk Deluxe Volume 4
43.61 € -17 % -
Invincible Compendium Volume 3
46.44 € -23 % -
Lord of Mysteries, Vol. 1: The Clown, Part I
15.17 € -29 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.10 € -26 % -
Witch Hat Atelier: Grimoire Edition 1
35.31 € -29 % -
Invincible Compendium Volume 2
48.26 € -21 % -
Jujutsu Kaisen, Vol. 1
13.45 € -
Kid's Box New Generation Level 2 Activity Book with Digital Pack British English
10.92 € -8 % -
Restitution
10.01 € -26 % -
Six of Crows: A Darker Shore: Letters from Ketterdam
21.24 € -13 % -
The Courage To Be Disliked
10.72 € -13 % -
The Count of Monte Cristo
10.82 € -29 % -
Murdoku Volume 2: Back in Time
13.55 € -27 % -
Witch Hat Atelier: Grimoire Edition 2
34.70 € -30 % -
Heartstopper Volume 6
14.66 € -28 % -
Heated Rivalry
12.54 € -7 % -
Fourth Wing
23.57 € -28 % -
Jujutsu Kaisen, Vol. 25
9.71 € -25 % -
Iron Flame
24.58 € -24 % -
Jujutsu Kaisen, Vol. 2
9.91 € -20 % -
Veil Volume 1
14.16 € -33 % -
Onyx Storm
11.12 € -18 % -
Yesteryear
16.18 € -12 % -
Moonwalk: A Memoir
24.28 € -23 % -
Berserk Deluxe Volume 6
54.84 € -
Kid's Box New Generation Level 2 Pupil's Book with eBook British English
17.90 € -7 % -
Invincible Compendium Volume 1
51.20 € -30 % -
Jujutsu Kaisen, Vol. 28
9.91 € -23 %
Shopping guide
Books by language
Collection points Bratislava a 12837 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25678 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)