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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
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 Tvrdi uvez
Knjiga Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Libristo kod: 01426259
Nakladnici Springer London Ltd, lipanj 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 265 b
109.50 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat

Kupci su kupili i

VADEMECUM ACCESO A LA ABOGACIA VOLUMEN V PARTE ESPECIFICA JOSE MARIA DE PABLO HERMIDA / Knjiga Meki uvez
common.buy 27.65 €
BAJO LAS ALAS DE MI VUELO ALVAREZ GARCIA / Knjiga Meki uvez
common.buy 17.52 €
L'Herpetologie Yannick Berthoud / Knjiga Meki uvez
common.buy 35.95 €
Fisiopatología aplicada a la dietética ELENA NAVARRO SANCHEZ / Knjiga Meki uvez
common.buy 34.84 €
Top
Geostorky aneb Tak bude trochu tepleji... Petr Brož / Knjiga Tvrdi uvez
common.buy 13.46 €
ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL / Knjiga Knjiga
common.buy 45.68 €
DE VIÑADEROS Y ORUJEROS ROSELLON CIMIANO / Knjiga Meki uvez
common.buy 23.19 €
Jordan la loi du plus fort NE Rosamond Smith / Knjiga Meki uvez
common.buy 24.00 €
Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe / Kalendar/Rokovnik Rokovnik
common.buy 10.22 €
Carlos Castilla del Pino : Obras completas I y II. 1946-1966 Carlos Castilla del Pino / Knjiga Tvrdi uvez
common.buy 72.22 €
Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger / Knjiga Meki uvez
common.buy 44.56 €
Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer / Knjiga Meki uvez
common.buy 42.84 €

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.

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 Neeraj Kumar Singh
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2013
Broj stranica 326
EAN 9781447152590
ISBN 144715259X
Libristo kod 01426259
Nakladnici Springer London Ltd
Težina 6387
Dimenzije 155 x 235 x 24

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Medicine & Nursing > Nursing & ancillary services > Biomedical engineering
Computing & Information Technology > Information technology: general issues > Health & safety aspects of IT
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer modelling & simulation
Medicine & Nursing > Medicine: general issues
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

BLUEY ECO-PUZZLE DF 60 / Igra/Igračka Igra
common.buy 7.49 €
Shower of Stars John J. Pullen / E-knjiga Adobe ePub DRM
common.buy 43.04 €
Swindon - The Complete Works PETER TIMMS / Knjiga Tvrdi uvez
common.buy 26.43 €
Literacy Education and Indigenous Australians Jennifer Rennie / Knjiga Meki uvez
common.buy 103.12 €
Oriented Consciousness Mastering in the Practice of Surfing: A book about the Learning of Surfing Bruno Ferreira Alves Castello Da Costa / Knjiga Meki uvez
common.buy 16.40 €
Pinky Visits the Circus: Pinky Frink's Adventures Granny J / Knjiga Meki uvez
common.buy 10.32 €
Mana Khemia 2: The Official Strategy Guide Doublejump Books / Knjiga Meki uvez
common.buy 41.12 €
Nanotechnology for Sustainable Water Resources Ajay Kumar Mishra / Knjiga Tvrdi uvez
common.buy 231.57 €
Data Science and Artificial Intelligence for Digital Healthcare Pradeep Kumar Singh / Knjiga Tvrdi uvez
common.buy 206.04 €
Forest Tree Plantation Thomas Jonathan Burrill / Knjiga Tvrdi uvez
common.buy 26.94 €
Transatlantic Divide Alberto Martinelli / Knjiga Tvrdi uvez
common.buy 76.47 €
Light Microscopy Helio Chiarini-Garcia / Knjiga Tvrdi uvez
common.buy 141.21 €
Adaptive Speciation Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz / Knjiga Meki uvez
common.buy 74.95 €
South Asia in a Globalising World Bob Bradnock / Knjiga Meki uvez
common.buy 84.68 €
Selected Stories Alice Munro / Knjiga Meki uvez
common.buy 11.84 €
Erin and Iran Grace Neville / Knjiga Meki uvez
common.buy 28.66 €
Sherlock Holmes and the Adventure of the Cold-Served Revenge Petr Macek / Knjiga Meki uvez
common.buy 17.41 €
Koufonisi, Crete Emory Christer / Knjiga Meki uvez
common.buy 103.32 €
How America Was Born Diana McCumiskey / Knjiga Meki uvez
common.buy 14.38 €
Scenes for Teens, by Teens Diane Christiansen / Knjiga Meki uvez
common.buy 9.21 €
Advances in Longitudinal Methods in the Social and Behavioral Sciences Gregory R. Hancock / Knjiga Tvrdi uvez
common.buy 126.42 €
Like Cats & Dogs Shane / Knjiga Meki uvez
common.buy 8.40 €

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?