Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Using Event-B for Critical Device Software Systems

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Using Event-B for Critical Device Software Systems Keith Glover
Libristo kod: 32284073
Nakladnici Createspace Independent Publishing Platform, kolovoz 2017
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and... Cijeli opis
? points 109 b
45.06 €
Vanjske zalihe Šaljemo za 9-15 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Alte Liebe Und Anderes. Novellen Wilhelmine Heimburg / Knjiga Tvrdi uvez
common.buy 22.37 €
LOS SOTANOS DE LA TIERRUCA LAMOILE MARTINEZ / Knjiga Meki uvez
common.buy 30.98 €
Al centro della terra. A piedi sul cammino minerario di Santa Barbara in Sardegna Fabrizio Ardito / Knjiga Meki uvez
common.buy 18.93 €
Технология производства и переработки продукции свиноводства. Учебник для ВО, 1-е изд. В. Г. Кахикало / Knjiga Tvrdi uvez
common.buy 55.70 €
Ako si vycvičit draka – Začíname čítať - Noví priatelia / Knjiga Tvrdi uvez
common.buy 6.78 €
Pierres Roulées - Rhodonite du Pérou - Sachet 500 grs / Knjiga binding.
common.buy 39.39 €
Povoljno
LITTÉRATURE PROGRESSIVE DE LA FRANCOPHONIE NIVEAU INTERMÉDIAIRE B1,B2 - LIVRE - Nicole Blondeau / Audio Audio CD
common.buy 25.11 €
Die Naturliche Theologie (1882) Alfred Barry / Knjiga Tvrdi uvez
common.buy 45.87 €
Belgrad - 1.000 Teile (Puzzle) / Igra/Igračka Igra
common.buy 29.87 €
Vita quotidiana dei Bastardi di Pizzofalcone Maurizio De Giovanni / Knjiga Meki uvez
common.buy 19.54 €
Finanzas para emprendedores ANTONIO MANZANERA ESCRIBANO / Knjiga Meki uvez
common.buy 29.87 €
Robby aus der Räuberhöhle, 1 Audio-CD Barbara Landbeck / Audio Audio CD
common.buy 10.32 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Using Event-B for Critical Device Software Systems
Autor Keith Glover
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2017
Broj stranica 334
EAN 9781981128860
ISBN 1981128867
Libristo kod 32284073
Nakladnici Createspace Independent Publishing Platform
Težina 775
Dimenzije 216 x 280 x 18

Kategorija

Computing & Information Technology > Computer science > Computer modelling & simulation
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Czech Renaissance folk songs for DADGAD Guitar Ondrej Sarek / Knjiga Meki uvez
common.buy 12.24 €
Flagship Mike Carlton / Knjiga Meki uvez
common.buy 21.06 €
Albertus Magnus and the World of Nature Kenneth F. Kitchell Jr / Knjiga Tvrdi uvez
common.buy 20.25 €
Handbook of Research on Herbal Liver Protection T. Pullaiah / Knjiga Tvrdi uvez
common.buy 269.30 €
Be With Me Amy Jindra / Knjiga Meki uvez
common.buy 14.88 €
Subject of Human Rights Danielle Celermajer / Knjiga Tvrdi uvez
common.buy 142.70 €
Governing Partners Russell L Hanson / Knjiga Tvrdi uvez
common.buy 209.34 €
Windows on Literacy Language, Literacy & Vocabulary Fluent Plus (Science): Life Cycles of Animals National Geographic Learning / Knjiga Meki uvez
common.buy 23.28 €
Encephalitis Lethargica Paul Bernard Foley / Knjiga Meki uvez
common.buy 240.74 €
99 Tips to Get Better at Spearfishing Levi Brown / Knjiga Meki uvez
common.buy 24.80 €
Red Wyvern Katharine Kerr / Knjiga Meki uvez
common.buy 15.28 €
A Critical Examination of the Question in Regard to the Time of Our Saviour's Crucifixion Jeremiah Knight Aldrich / Knjiga Meki uvez
common.buy 20.55 €
Fugitives Donald Campbell / Knjiga Meki uvez
common.buy 10.32 €
Immigration in Modern Times - the What, the Where and the How Patrick Chu / Knjiga Meki uvez
common.buy 11.43 €
Pearson REVISE Edexcel GCSE Maths Higher Revision Workbook - 2023 and 2024 exams Navtej Marwaha / Knjiga Meki uvez
common.buy 10.73 €
Handbook of Research on Artificial Intelligence, Innovation and Entrepreneurship Elias G Carayannis / Knjiga Tvrdi uvez
common.buy 292.09 €
Pretentiousness: Why It Matters Dan Fox / Knjiga Meki uvez
common.buy 14.27 €
Nebeski Putnici Bepina Pincic / Knjiga Meki uvez
common.buy 13.76 €
Beijing Bastard Val Wang / Knjiga Meki uvez
common.buy 13.16 €
Beyond the Science/Religion Debate Guido O Perez MD / Knjiga Meki uvez
common.buy 12.85 €
Hilary Putnam James Conant / Knjiga Meki uvez
common.buy 82.64 €
Teaching North American Environmental Literature Laird Christensen / Knjiga Meki uvez
common.buy 47.39 €
Automating Building Energy Management for Accelera ted Building Decarbonization James (University of California Santa Cruz Extension) Kempf / Knjiga Tvrdi uvez
common.buy 119.81 €
Social Information Technology Terry Kidd / Knjiga Tvrdi uvez
common.buy 191.01 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?