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 Kurier 12.99 zł Punkt DPD 11.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
441.39 zł
Dostępna u dostawcy Wysyłamy za 10-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

VADEMECUM ACCESO A LA ABOGACIA VOLUMEN V PARTE ESPECIFICA JOSE MARIA DE PABLO HERMIDA / Książka Miękka
common.buy 129.26 zł
BAJO LAS ALAS DE MI VUELO ALVAREZ GARCIA / Książka Miękka
common.buy 82.38 zł
L'Herpetologie Yannick Berthoud / Książka Miękka
common.buy 154.12 zł
Fisiopatología aplicada a la dietética ELENA NAVARRO SANCHEZ / Książka Miękka
common.buy 163.86 zł
TOP
Geostorky aneb Tak bude trochu tepleji... Petr Brož / Książka Twarda
common.buy 55.80 zł
ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II FRAILE GIL / Książka Książka
common.buy 211.96 zł
DE VIÑADEROS Y ORUJEROS ROSELLON CIMIANO / Książka Miękka
common.buy 107.55 zł
Jordan la loi du plus fort NE Rosamond Smith / Książka Miękka
common.buy 107.35 zł
Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe / Kalendarz/Pamiętnik Pamiętnik
common.buy 45.35 zł
Carlos Castilla del Pino : Obras completas I y II. 1946-1966 Carlos Castilla del Pino / Książka Twarda
common.buy 339.31 zł
Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien Thomas Harlfinger / Książka Miękka
common.buy 190.75 zł
Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien Kristin Hammer / Książka Miękka
common.buy 183.45 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.43 zł
Shower of Stars John J. Pullen / E-book Adobe ePub DRM
common.buy 192.89 zł
Swindon - The Complete Works PETER TIMMS / Książka Twarda
common.buy 113.33 zł
Literacy Education and Indigenous Australians Jennifer Rennie / Książka Miękka
common.buy 441.39 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 70.31 zł
Pinky Visits the Circus: Pinky Frink's Adventures Granny J / Książka Miękka
common.buy 44.23 zł
Mana Khemia 2: The Official Strategy Guide Doublejump Books / Książka Miękka
common.buy 175.84 zł
Nanotechnology for Sustainable Water Resources Ajay Kumar Mishra / Książka Twarda
common.buy 990.74 zł
Data Science and Artificial Intelligence for Digital Healthcare Pradeep Kumar Singh / Książka Twarda
common.buy 881.46 zł
Forest Tree Plantation Thomas Jonathan Burrill / Książka Twarda
common.buy 115.26 zł
Transatlantic Divide Alberto Martinelli / Książka Twarda
common.buy 111.61 zł
Light Microscopy Helio Chiarini-Garcia / Książka Twarda
common.buy 604.14 zł
Adaptive Speciation Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz / Książka Miękka
common.buy 320.74 zł
South Asia in a Globalising World Bob Bradnock / Książka Miękka
common.buy 362.34 zł
Selected Stories Alice Munro / Książka Miękka
common.buy 59.65 zł
Erin and Iran Grace Neville / Książka Miękka
common.buy 128.75 zł
Sherlock Holmes and the Adventure of the Cold-Served Revenge Petr Macek / Książka Miękka
common.buy 74.77 zł
Koufonisi, Crete Emory Christer / Książka Miękka
common.buy 442.10 zł
How America Was Born Diana McCumiskey / Książka Miękka
common.buy 61.48 zł
Scenes for Teens, by Teens Diane Christiansen / Książka Miękka
common.buy 39.36 zł
Advances in Longitudinal Methods in the Social and Behavioral Sciences Gregory R. Hancock / Książka Twarda
common.buy 540.93 zł
Like Cats & Dogs Shane / Książka Miękka
common.buy 36.11 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?