Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Using Event-B for Critical Device Software Systems

Język AngielskiAngielski
Książka Twarda
Książka Using Event-B for Critical Device Software Systems Neeraj Kumar Singh
Kod Libristo: 01426259
Wydawnictwo Springer London Ltd, czerwiec 2013
This book presents an innovative development approach for critical systems and prototype implementat...
? points 249 b
437.97 zł
Dostępna u dostawcy Wysyłamy za 10-13 dni

30 dni na zwrot towaru

Klienci kupili także

VADEMECUM ACCESO A LA ABOGACIA VOLUMEN V PARTE ESPECIFICA JOSE MARIA DE PABLO HERMIDA / Książka Miękka
common.buy 128.67 zł
BAJO LAS ALAS DE MI VUELO ALVAREZ GARCIA / Książka Miękka
common.buy 82.05 zł
L'Herpetologie Yannick Berthoud / Książka Miękka
common.buy 152.93 zł
Fisiopatología aplicada a la dietética ELENA NAVARRO SANCHEZ / Książka Miękka
common.buy 162.90 zł
Geostorky aneb Tak bude trochu tepleji... Petr Brož / Książka Twarda
common.buy 57.08 zł
ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL / Książka Książka
common.buy 211.03 zł
DE VIÑADEROS Y ORUJEROS ROSELLON CIMIANO / Książka Miękka
common.buy 107.22 zł
Jordan la loi du plus fort NE Rosamond Smith / Książka Miękka
common.buy 107.42 zł
Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe / Kalendarz/Pamiętnik Pamiętnik
common.buy 46.00 zł
ICH BIN die Gegenwart Gottes in jedem Menschenherzen Stefan Sicurella / Książka Twarda
common.buy 63.12 zł
Carlos Castilla del Pino : Obras completas I y II. 1946-1966 Carlos Castilla del Pino / Książka Twarda
common.buy 337.29 zł
Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger / Książka Miękka
common.buy 189.28 zł
Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer / Książka Miękka
common.buy 182.03 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Using Event-B for Critical Device Software Systems
Autor Neeraj Kumar Singh
Język Angielski
Oprawa Książka - Twarda
Data wydania 2013
Liczba stron 326
EAN 9781447152590
ISBN 144715259X
Kod Libristo 01426259
Wydawnictwo Springer London Ltd
Waga 6387
Wymiary 155 x 235 x 24

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Medycyna i opieka zdrowotna > Pielęgniarstwo i usługi pomocnicze medycyny > Inżynieria biomedyczna
Informatyka i technologie informacyjne (IT) > Technologia informacyjna (IT) – zagadnienia ogólne > Bezpieczeństwo i zdrowie a technologia informacyjna (IT)
Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Grafika i modelowanie 3D
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Modelowanie i symulacje komputerowe
Medycyna i opieka zdrowotna > Medycyna – zagadnienia ogólne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

BLUEY ECO-PUZZLE DF 60 / Gra/Zabawka Gra
common.buy 30.20 zł
Shower of Stars John J. Pullen / E-book Adobe ePub DRM
common.buy 189.48 zł
Swindon - The Complete Works PETER TIMMS / Książka Twarda
common.buy 112.66 zł
Literacy Education and Indigenous Australians Jennifer Rennie / Książka Miękka
common.buy 437.97 zł
Oriented Consciousness Mastering in the Practice of Surfing: A book about the Learning of Surfing Bruno Ferreira Alves Castello Da Costa / Książka Miękka
common.buy 69.76 zł
Pinky Visits the Circus: Pinky Frink's Adventures Granny J / Książka Miękka
common.buy 43.89 zł
Mana Khemia 2: The Official Strategy Guide Doublejump Books / Książka Miękka
common.buy 174.48 zł
Nanotechnology for Sustainable Water Resources Ajay Kumar Mishra / Książka Twarda
common.buy 983.08 zł
Data Science and Artificial Intelligence for Digital Healthcare Pradeep Kumar Singh / Książka Twarda
common.buy 874.64 zł
Forest Tree Plantation Thomas Jonathan Burrill / Książka Twarda
common.buy 114.37 zł
Transatlantic Divide Alberto Martinelli / Książka Twarda
common.buy 89.80 zł
Light Microscopy Helio Chiarini-Garcia / Książka Twarda
common.buy 599.47 zł
Adaptive Speciation Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz / Książka Miękka
common.buy 318.26 zł
South Asia in a Globalising World Bob Bradnock / Książka Miękka
common.buy 359.54 zł
Selected Stories Alice Munro / Książka Miękka
common.buy 50.43 zł
Erin and Iran Grace Neville / Książka Miękka
common.buy 129.87 zł
Sherlock Holmes and the Adventure of the Cold-Served Revenge Petr Macek / Książka Miękka
common.buy 74.20 zł
Koufonisi, Crete Emory Christer / Książka Miękka
common.buy 438.88 zł
How America Was Born Diana McCumiskey / Książka Miękka
common.buy 61.01 zł
Scenes for Teens, by Teens Diane Christiansen / Książka Miękka
common.buy 39.06 zł
Advances in Longitudinal Methods in the Social and Behavioral Sciences Gregory R. Hancock / Książka Twarda
common.buy 536.74 zł
Like Cats & Dogs Shane / Książka Miękka
common.buy 35.83 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?