Kód: 32284073
Using Event-B for Critical Device Software Systems
Autor 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 ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 334
Nakladateľ: Createspace Independent Publishing Platform, 2017
- Viac informácií o knihe
42.73 €
Bežne: 46.02 €
Ušetríte 3.29 €
Skladom u dodávateľa
Odosielame za 9 - 15 dní
Mohlo by sa vám tiež páčiť
-
Ako si vycvičit draka – Začíname čítať - Noví priatelia
6.57 € -20 % -
Pretentiousness: Why It Matters
13.46 € -24 % -
Red Wyvern
15.28 € -20 % -
Pearson REVISE Edexcel GCSE Maths Higher Revision Workbook - 2023 and 2024 exams
10.73 € -
Albertus Magnus and the World of Nature
18.93 € -25 % -
LITTÉRATURE PROGRESSIVE DE LA FRANCOPHONIE NIVEAU INTERMÉDIAIRE B1,B2 - LIVRE -
25.11 € -11 % -
99 Tips to Get Better at Spearfishing
23.49 € -7 % -
Технология производства и переработки продукции свиноводства. Учебник для ВО, 1-е изд.
59.04 € -11 % -
Beyond the Science/Religion Debate
12.04 € -24 % -
Flagship
21.06 € -21 % -
A Critical Examination of the Question in Regard to the Time of Our Saviour's Crucifixion
20.55 € -14 % -
LOS SOTANOS DE LA TIERRUCA
32.30 € -
Vita quotidiana dei Bastardi di Pizzofalcone
20.55 € -
Automating Building Energy Management for Accelera ted Building Decarbonization
114.03 € -1 % -
Windows on Literacy Language, Literacy & Vocabulary Fluent Plus (Science): Life Cycles of Animals
23.28 € -9 % -
Ultimate Solution
24.10 € -
Belgrad - 1.000 Teile (Puzzle)
31.59 € -9 % -
Alte Liebe Und Anderes. Novellen
22.37 € -11 % -
Immigration in Modern Times - the What, the Where and the How
10.93 € -
Finanzas para emprendedores
29.87 € -9 % -
101 Top Tips in Medicine
39.79 € -
Handbook of Research on Herbal Liver Protection
269.30 € -
Robby aus der Räuberhöhle, 1 Audio-CD
10.93 € -5 % -
Governing Partners
200.02 € -
Al centro della terra. A piedi sul cammino minerario di Santa Barbara in Sardegna
19.84 € -
Handbook of Research on Artificial Intelligence, Innovation and Entrepreneurship
306.67 € -
Hilary Putnam
78.89 € -
Czech Renaissance folk songs for DADGAD Guitar
11.64 € -7 % -
Nebeski Putnici
13.16 € -
Teaching North American Environmental Literature
47.39 € -
Encephalitis Lethargica
240.74 € -9 % -
Social Information Technology
191.01 € -
Subject of Human Rights
136.62 € -
Be With Me
14.07 € -7 % -
Die Naturliche Theologie (1882)
43.64 € -1 %
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Using Event-B for Critical Device Software Systems
Nákupom získate 103 bodov
Anotácia knihy
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
Parametre knihy
42.73 €
- Celý názov: Using Event-B for Critical Device Software Systems
- Autor: Keith Glover
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 334
- EAN: 9781981128860
- ISBN: 1981128867
- ID: 32284073
- Nakladateľ: Createspace Independent Publishing Platform
- Hmotnosť: 775 g
- Rozmery: 280 × 216 × 18 mm
- Dátum vydania: 23. August 2017
Obľúbené z iného súdka
-
Moonwalk
14.17 € -
The Score
13.97 € -19 % -
The Deal
12.45 € -24 % -
The Mistake
14.57 € -11 % -
Jujutsu Kaisen, Vol. 30
9.61 € -22 % -
Witch Hat Atelier: Grimoire Edition 1
34.63 € -29 % -
Berserk Deluxe Volume 1
39.90 € -51 % -
Invincible Compendium Volume 2
42.33 € -30 % -
Invincible Compendium Volume 1
45.87 € -24 % -
The Goal
14.68 € -10 % -
Berserk Deluxe Volume 2
39.90 € -51 % -
Witch Hat Atelier Manga Box Set 1
56.20 € -25 % -
Heated Rivalry
12.65 € -7 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
14.98 € -29 % -
Jujutsu Kaisen, Vol. 25
9.92 € -20 % -
Moonwalk: A Memoir
21.77 € -24 % -
Jujutsu Kaisen, Vol. 26
9.92 € -20 % -
Murdoku
17.01 € -25 % -
Jujutsu Kaisen, Vol. 29
9.92 € -20 % -
Berserk Deluxe Volume 3
55.19 € -34 % -
Veil Volume 1
12.04 € -25 % -
White Nights
4.75 € -11 % -
Invincible Compendium Volume 3
45.87 € -24 % -
King of Gluttony
10.22 € -33 % -
The Deal
14.07 € -25 % -
The Long Game
13.16 € -3 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.32 € -24 % -
Legacy
11.94 € -24 % -
Invincible Volume 1
13.06 € -24 % -
Starside (Deluxe Limited Edition)
24.50 € -24 % -
Berserk Deluxe Volume 5
54.89 € -
Project Hail Mary
10.52 € -14 % -
Dancing The Dream
26.73 € -19 % -
Berserk Deluxe Volume 4
43.64 € -15 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 1
18.32 € -24 % -
The Summer Hikaru Died, Vol. 7
11.94 € -21 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 2
18.32 € -24 % -
Jujutsu Kaisen, Vol. 28
10.02 € -23 % -
Boys Omnibus Vol. 1 TPB
24.40 € -28 % -
Yesteryear
15.89 € -14 % -
Veil Volume 2
16.09 € -24 % -
The Ballad of Falling Dragons
14.47 € -12 % -
The Score
14.07 € -25 % -
Murdoku
14.98 € -20 % -
Chainsaw Man, Vol. 20
10.02 € -23 % -
The Courage To Be Disliked
10.73 € -13 % -
Lord of Mysteries, Vol. 1: The Clown, Part I
14.88 € -24 % -
Jujutsu Kaisen, Vol. 1
12.65 € -
Project Hail Mary
15.89 € -26 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12840 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)