Zdjęcie 1 z 1
Using Event-B for Critical Device Software Systems - 9781447152590
Stan:
Dostępne: 2
Cena:
GBP 73,32
Około372,42 zł
- Kup terazUsing Event-B for Critical Device Software Systems - 9781447152590
Wysyłka:
GBP 28,83 (około 146,44 zł) Wysyłka przyspieszona do: Stany Zjednoczone przez Program wysyłki międzynarodowej na eBay. Zobacz szczegółydla wysyłki
Znajduje się w: Aldershot, Wielka Brytania
Opłaty importowe:
Bezpłatnie, kwota potwierdzona w realizacji transakcji
Dostawa:
Szacowana między Cz, 20 cze a Cz, 27 cze do 43230
Obejmuje śledzenie przesyłki
Zwroty:
Zwrot w ciągu 60 dni. Za wysyłkę zwrotną płaci kupujący. Zobacz szczegóły- aby uzyskać więcej informacji dotyczących zwrotów
Płatności:
Kupuj bez obaw
Informacje o sprzedawcy
- 99,2% opinii pozytywnych
Zarejestrowany jako sprzedawca-firma
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 354874542404
Ostatnia aktualizacja: 23-05-2024 22:35:40 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Parametry przedmiotu
- Stan
- Book Title
- Using Event-B for Critical Device Software Systems
- ISBN
- 9781447152590
- Subject Area
- Health Education
- Publication Name
- Using Event-B for Critical Device Software Systems
- Publisher
- Springer London LTD
- Subject
- Computer Science
- Publication Year
- 2013
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Height
- 235mm
- Item Width
- 155mm
- Item Weight
- 6387g
- Number of Pages
- 326 Pages
O tym produkcie
Product Information
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation). This is assessed and evaluated via a standard case study: the cardiac pacemaker. Additionally a formalisation of an Electrocardiogram (ECG) is used to identify anomalies in order to improve existing medical protocols. This allows the key issue - that formal methods are not currently integrated into established critical systems development processes - to be discussed in a highly effective and informative way. Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health domain will find the cardiac pacemaker case study of particular value.
Product Identifiers
Publisher
Springer London LTD
ISBN-13
9781447152590
eBay Product ID (ePID)
154442883
Product Key Features
Subject Area
Health Education
Publication Name
Using Event-B for Critical Device Software Systems
Format
Hardcover
Language
English
Subject
Computer Science
Publication Year
2013
Type
Textbook
Number of Pages
326 Pages
Dimensions
Item Height
235mm
Item Width
155mm
Item Weight
6387g
Additional Product Features
Country/Region of Manufacture
United Kingdom
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
BOOKS ETC LIMITED
Andy Smith
Books Etc, Unit 4
Eastern Road
Aldershot
Hampshire
GU12 4YD
United Kingdom
Numer VAT (NIP):
- GB 976952259
Numer rejestracyjny (REGON):
- 06687355
Wystawiam faktury VAT.
Oświadczam, że wszystkie moje działania związane ze sprzedażą będą zgodne z wszystkimi przepisami i regulacjami UE.
Numer CRN:
- 06687355
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 354874542404
Ostatnia aktualizacja: 23-05-2024 22:35:40 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Wysyłka i obsługa
Lokalizacja przedmiotu:
Aldershot, Wielka Brytania
Wysyłka do:
Antigua i Barbuda, Arabia Saudyjska, Aruba, Australia, Austria, Bahamy, Bahrajn, Bangladesz, Barbados, Belgia, Belize, Bermudy, Boliwia, Brazylia, Brunei, Bułgaria, Chile, Chiny, Chorwacja, Cypr, Czechy, Dania, Dominika, Dominikana, Egipt, Ekwador, Estonia, Filipiny, Finlandia, Francja, Gibraltar, Grecja, Grenada, Guernsey, Gujana Francuska, Gwadelupa, Gwatemala, Hiszpania, Holandia, Honduras, Hongkong, Indonezja, Irlandia, Islandia, Izrael, Jamajka, Japonia, Jersey, Jordania, Kajmany, Kambodża, Kanada, Katar, Kolumbia, Korea Południowa, Kostaryka, Kuwejt, Liechtenstein, Litwa, Luksemburg, Makau, Malediwy, Malezja, Malta, Martynika, Meksyk, Monako, Montserrat, Niemcy, Nikaragua, Norwegia, Nowa Zelandia, Oman, Pakistan, Panama, Paragwaj, Peru, Polska, Portugalia, Południowa Afryka, Reunion, Rumunia, Saint Kitts i Nevis, Saint Lucia, Salwador, Singapur, Sri Lanka, Stany Zjednoczone, Szwajcaria, Szwecja, Słowacja, Słowenia, Tajlandia, Tajwan, Trynidad i Tobago, Turks i Caicos, Ukraina, Urugwaj, Wielka Brytania, Wietnam, Węgry, Włochy, Zjednoczone Emiraty Arabskie, Łotwa
Wykluczenia:
Afganistan, Jemen, Libia, Nauru, Rosja, Somalia
| Wysyłka i obsługa | Opłaty importowe | Do | Usługa | Dostawa*Zobacz uwagi o dostawie |
|---|---|---|---|---|
| GBP 28,83 (około 146,44 zł) | Zobacz opłaty importowe podczas realizacji transakcji | Stany Zjednoczone | Wysyłka przyspieszona (International Priority Shipping) | Szacowana między Cz, 20 cze a Cz, 27 cze do 43230 |
| Czas na wysłanie |
|---|
| Zwykle wysyłam przesyłkę w ciągu 3 dni roboczych po otrzymaniu rozliczonej płatności. |
| Podatki |
|---|
| Podczas realizacji transakcji mogą zostać naliczone podatki. Dowiedz się więcejDowiedz się więcej o płaceniu podatku za zakupy na eBay. |
Podatek od sprzedaży dla przedmiotu nr 354874542404
Podatek od sprzedaży dla przedmiotu nr 354874542404
Sprzedawca nalicza podatek od sprzedaży dla przedmiotów wysyłanych do następujących stanów:
| Stan | Stawka podatku od sprzedaży |
|---|
Warunki zwrotów
| Po otrzymaniu przedmiotu skontaktuj się ze sprzedawcą w ciągu | Wysyłka zwrotna |
|---|---|
| 60 dni | Za wysyłkę zwrotną płaci kupujący |
Kupujący jest odpowiedzialny za opłacenie kosztów wysyłki zwrotnej.
| Szczegóły warunków zwrotów |
|---|
| Zwroty są przyjmowane |
Szczegóły dotyczące płatności
Formy płatności
Zarejestrowany jako sprzedawca-firma
Opinie sprzedawców (512 524)
h***j- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Fast service. Book brand new and in pristine condition. Thank you.
i***6 (286)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Excellent nicely packaged.
e***a (480)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Brilliant thx