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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Using Event-B for Critical Device Software Systems

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Libristo-code: 01426259
Uitgeverij Springer London Ltd, juni 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 249 b
103.07 €
In extern magazijn Wordt binnen 10-13 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL / Boek Boek
common.buy 49.71 €
Geostorky aneb Tak bude trochu tepleji... Petr Brož / Boek Gebonden (harde band)
common.buy 14.27 €
Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer / Boek Gebonden (paperback)
common.buy 42.82 €
VADEMECUM ACCESO A LA ABOGACIA VOLUMEN V PARTE ESPECIFICA JOSE MARIA DE PABLO HERMIDA / Boek Gebonden (paperback)
common.buy 30.27 €
BAJO LAS ALAS DE MI VUELO ALVAREZ GARCIA / Boek Gebonden (paperback)
common.buy 19.33 €
L'Herpetologie Yannick Berthoud / Boek Gebonden (paperback)
common.buy 35.94 €
Carlos Castilla del Pino : Obras completas I y II. 1946-1966 Carlos Castilla del Pino / Boek Gebonden (harde band)
common.buy 79.38 €
DE VIÑADEROS Y ORUJEROS ROSELLON CIMIANO / Boek Gebonden (paperback)
common.buy 25.20 €
Jordan la loi du plus fort NE Rosamond Smith / Boek Gebonden (paperback)
common.buy 25.31 €
Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe / Kalender/agenda Agenda
common.buy 10.82 €
Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger / Boek Gebonden (paperback)
common.buy 44.55 €
ICH BIN die Gegenwart Gottes in jedem Menschenherzen Stefan Sicurella / Boek Gebonden (harde band)
common.buy 15.69 €

This book presents an innovative development approach for critical systems and prototype implementation. It provides a novel approach for medical protocol verification, which can help to verify the diagnosis process.

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 Neeraj Kumar Singh
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2013
Aantal pagina's 326
EAN 9781447152590
ISBN 144715259X
Libristo-code 01426259
Uitgeverij Springer London Ltd
Gewicht 6387
Afmetingen 155 x 235 x 24

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Geneeskunde en verpleging > Verpleegdiensten en hulpdiensten > Biomedische techniek
Informatica en informatietechnologie > Informatica: algemene onderwerpen > Digitale en informatietechnologieën: gezondheidsaspecten en veiligheidsaspecten
Informatica en informatietechnologie > Grafische en digitale media-applicaties > 3D graphics en modellering
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computermodellering en -simulatie
Geneeskunde en verpleging > Geneeskunde: algemene onderwerpen
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

Adaptive Speciation Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz / Boek Gebonden (paperback)
common.buy 74.92 €
Like Cats & Dogs Shane / Boek Gebonden (paperback)
common.buy 8.39 €
BLUEY ECO-PUZZLE DF 60 / Spel/speelgoed Spel
common.buy 7.99 €
Shower of Stars John J. Pullen / E-book Adobe ePub DRM
common.buy 44.55 €
Swindon - The Complete Works PETER TIMMS / Boek Gebonden (harde band)
common.buy 28.24 €
Oriented Consciousness Mastering in the Practice of Surfing: A book about the Learning of Surfing Bruno Ferreira Alves Castello Da Costa / Boek Gebonden (paperback)
common.buy 16.39 €
Pinky Visits the Circus: Pinky Frink's Adventures Granny J / Boek Gebonden (paperback)
common.buy 10.32 €
Mana Khemia 2: The Official Strategy Guide Doublejump Books / Boek Gebonden (paperback)
common.buy 41.10 €
Forest Tree Plantation Thomas Jonathan Burrill / Boek Gebonden (harde band)
common.buy 26.93 €
Scenes for Teens, by Teens Diane Christiansen / Boek Gebonden (paperback)
common.buy 9.20 €
South Asia in a Globalising World Bob Bradnock / Boek Gebonden (paperback)
common.buy 84.65 €
How America Was Born Diana McCumiskey / Boek Gebonden (paperback)
common.buy 14.37 €
Koufonisi, Crete Emory Christer / Boek Gebonden (paperback)
common.buy 103.28 €
Sherlock Holmes and the Adventure of the Cold-Served Revenge Petr Macek / Boek Gebonden (paperback)
common.buy 17.41 €

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?