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.99 €
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 (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.16 €
In extern magazijn Wordt binnen 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

VADEMECUM ACCESO A LA ABOGACIA VOLUMEN V PARTE ESPECIFICA JOSE MARIA DE PABLO HERMIDA / Boek Gebonden (paperback)
common.buy 30.29 €
BAJO LAS ALAS DE MI VUELO ALVAREZ GARCIA / Boek Gebonden (paperback)
common.buy 19.35 €
L'Herpetologie Yannick Berthoud / Boek Gebonden (paperback)
common.buy 35.97 €
Fisiopatología aplicada a la dietética ELENA NAVARRO SANCHEZ / Boek Gebonden (paperback)
common.buy 38.40 €
Geostorky aneb Tak bude trochu tepleji... Petr Brož / Boek Gebonden (harde band)
common.buy 14.28 €
ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL / Boek Boek
common.buy 49.75 €
DE VIÑADEROS Y ORUJEROS ROSELLON CIMIANO / Boek Gebonden (paperback)
common.buy 25.22 €
Jordan la loi du plus fort NE Rosamond Smith / Boek Gebonden (paperback)
common.buy 25.33 €
Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe / Kalender/agenda Agenda
common.buy 10.83 €
ICH BIN die Gegenwart Gottes in jedem Menschenherzen Stefan Sicurella / Boek Gebonden (harde band)
common.buy 14.89 €
Carlos Castilla del Pino : Obras completas I y II. 1946-1966 Carlos Castilla del Pino / Boek Gebonden (harde band)
common.buy 79.45 €
Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger / Boek Gebonden (paperback)
common.buy 44.58 €
Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer / Boek Gebonden (paperback)
common.buy 42.86 €

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

BLUEY ECO-PUZZLE DF 60 / Spel/speelgoed Spel
common.buy 8.00 €
Shower of Stars John J. Pullen / E-book Adobe ePub DRM
common.buy 44.58 €
Swindon - The Complete Works PETER TIMMS / Boek Gebonden (harde band)
common.buy 26.54 €
Literacy Education and Indigenous Australians Jennifer Rennie / Boek Gebonden (paperback)
common.buy 103.16 €
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.41 €
Pinky Visits the Circus: Pinky Frink's Adventures Granny J / Boek Gebonden (paperback)
common.buy 10.33 €
Mana Khemia 2: The Official Strategy Guide Doublejump Books / Boek Gebonden (paperback)
common.buy 41.14 €
Nanotechnology for Sustainable Water Resources Ajay Kumar Mishra / Boek Gebonden (harde band)
common.buy 231.67 €
Data Science and Artificial Intelligence for Digital Healthcare Pradeep Kumar Singh / Boek Gebonden (harde band)
common.buy 206.13 €
Forest Tree Plantation Thomas Jonathan Burrill / Boek Gebonden (harde band)
common.buy 26.95 €
Transatlantic Divide Alberto Martinelli / Boek Gebonden (harde band)
common.buy 26.04 €
Light Microscopy Helio Chiarini-Garcia / Boek Gebonden (harde band)
common.buy 141.27 €
Adaptive Speciation Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz / Boek Gebonden (paperback)
common.buy 74.99 €
South Asia in a Globalising World Bob Bradnock / Boek Gebonden (paperback)
common.buy 84.72 €
Selected Stories Alice Munro / Boek Gebonden (paperback)
common.buy 15.90 €
Erin and Iran Grace Neville / Boek Gebonden (paperback)
common.buy 25.83 €
Sherlock Holmes and the Adventure of the Cold-Served Revenge Petr Macek / Boek Gebonden (paperback)
common.buy 17.42 €
Koufonisi, Crete Emory Christer / Boek Gebonden (paperback)
common.buy 103.36 €
How America Was Born Diana McCumiskey / Boek Gebonden (paperback)
common.buy 14.38 €
Scenes for Teens, by Teens Diane Christiansen / Boek Gebonden (paperback)
common.buy 9.21 €
Advances in Longitudinal Methods in the Social and Behavioral Sciences Gregory R. Hancock / Boek Gebonden (harde band)
common.buy 126.47 €
Like Cats & Dogs Shane / Boek Gebonden (paperback)
common.buy 8.40 €

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?