Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Using Event-B for Critical Device Software Systems

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Using Event-B for Critical Device Software Systems Keith Glover
Libristo-code: 32284073
Uitgeverij Createspace Independent Publishing Platform, augustus 2017
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and... Volledige beschrijving
? points 109 b
45.05 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Alte Liebe Und Anderes. Novellen Wilhelmine Heimburg / Boek Gebonden (harde band)
common.buy 22.37 €
Al centro della terra. A piedi sul cammino minerario di Santa Barbara in Sardegna Fabrizio Ardito / Boek Gebonden (paperback)
common.buy 19.84 €
Технология производства и переработки продукции свиноводства. Учебник для ВО, 1-е изд. В. Г. Кахикало / Boek Gebonden (harde band)
common.buy 59.03 €
Ako si vycvičit draka – Začíname čítať - Noví priatelia / Boek Gebonden (harde band)
common.buy 7.28 €
LOS SOTANOS DE LA TIERRUCA LAMOILE MARTINEZ / Boek Gebonden (paperback)
common.buy 32.29 €
Pierres Roulées - Rhodonite du Pérou - Sachet 500 grs / Boek binding.
common.buy 41.20 €
Voordelig
LITTÉRATURE PROGRESSIVE DE LA FRANCOPHONIE NIVEAU INTERMÉDIAIRE B1,B2 - LIVRE - Nicole Blondeau / Audio Audio cd
common.buy 25.10 €
Die Naturliche Theologie (1882) Alfred Barry / Boek Gebonden (harde band)
common.buy 45.86 €
Belgrad - 1.000 Teile (Puzzle) / Spel/speelgoed Spel
common.buy 31.58 €
Vita quotidiana dei Bastardi di Pizzofalcone Maurizio De Giovanni / Boek Gebonden (paperback)
common.buy 20.55 €
Finanzas para emprendedores ANTONIO MANZANERA ESCRIBANO / Boek Gebonden (paperback)
common.buy 29.86 €
Robby aus der Räuberhöhle, 1 Audio-CD Barbara Landbeck / Audio Audio cd
common.buy 10.93 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Using Event-B for Critical Device Software Systems
Auteur Keith Glover
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2017
Aantal pagina's 334
EAN 9781981128860
ISBN 1981128867
Libristo-code 32284073
Uitgeverij Createspace Independent Publishing Platform
Gewicht 775
Afmetingen 216 x 280 x 18

Categorieën

Informatica en informatietechnologie > Informatica > Computermodellering en -simulatie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

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

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?