Zdjęcie 1 z 1
Modeling and Verification Using UML Statecharts Drusinsky Hardback Newnes
Stan:
Wysyłka:
Znajduje się w: AL7 1AD, Wielka Brytania
Dostawa:
Szacowana między Pt, 14 cze a Cz, 27 cze do 43230
Zwroty:
Zwrot w ciągu 30 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
- 100% opinii pozytywnych
Zarejestrowany jako sprzedawca-firma
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 394770343998
Ostatnia aktualizacja: 04-05-2024 20:49:55 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Parametry przedmiotu
- Stan
- BIC Subject Area 1
- Systems analysis & design [UYD]
- BIC Subject Area 2
- Computer science [UY]
- BIC Subject Area 3
- Microprocessors [TJFD1]
- BIC Subject Area 4
- Electronics engineering [TJF]
- BIC Subject Area 5
- Electrical engineering [THR]
- BIC Subject Area 6
- Mechanical engineering [TGB]
- BIC Subject Area 7
- Mechanical engineering & materials [TG]
- BIC Subject Area 8
- Discrete mathematics [PBD]
- BIC Subject Area 9
- Mathematics [PB]
- ISBN
- 9780750679497
- Publication Year
- 2006
- Type
- Textbook
- Format
- Hardcover
- Subject Area
- Electrical Engineering
- Language
- English
- Publication Name
- Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
- Item Height
- 229mm
- Publisher
- Elsevier Science & Technology
- Item Width
- 152mm
- Item Weight
- 680g
- Number of Pages
- 400 Pages
O tym produkcie
Product Information
As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets forma development and verification standards. In this text, UML expert author Dr. Doron Drusinsky compiles all the latest information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification. This is the first book that deals specifically with UML verification techniques. This important information is introduced within the context of real-life examples and solutions, particularly focusing on national defense applications. A practical text, as opposed to a high-level theoretical one, it emphasizes getting the system developer up-to-speed on using the tools necessary for daily practice.
Product Identifiers
Publisher
Elsevier Science & Technology
ISBN-13
9780750679497
eBay Product ID (ePID)
90242213
Product Key Features
Subject Area
Electrical Engineering
Publication Name
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Format
Hardcover
Language
English
Publication Year
2006
Type
Textbook
Number of Pages
400 Pages
Dimensions
Item Height
229mm
Item Width
152mm
Item Weight
680g
Additional Product Features
Country/Region of Manufacture
United Kingdom
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
PARTRAD LIMITED
Jonathan Parkins
10B Blenheim Court
Brownfields
Welwyn Garden City
Hertfordshire
AL7 1AD
United Kingdom
Freshly Printed Books is a trading name of Partrad Limited
Numer VAT (NIP):
- GB 428215114
Numer rejestracyjny (REGON):
- 14411598
Wystawiam faktury VAT.
Oświadczam, że wszystkie moje działania związane ze sprzedażą będą zgodne z wszystkimi przepisami i regulacjami UE.
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 394770343998
Ostatnia aktualizacja: 04-05-2024 20:49:55 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Wysyłka i obsługa
Lokalizacja przedmiotu:
AL7 1AD, Wielka Brytania
Wysyłka do:
Albania, Andora, Australia, Austria, Belgia, Białoruś, Bośnia i Hercegowina, Bułgaria, Cały świat, Chiny, Chorwacja, Cypr, Czarnogóra, Czechy, Dania, Estonia, Fidżi, Finlandia, Francja, Gibraltar, Grecja, Guernsey, Hiszpania, Holandia, Indonezja, Irlandia, Islandia, Japonia, Jersey, Kanada, Liechtenstein, Litwa, Luksemburg, Macedonia Północna, Malta, Monako, Mołdawia, Niemcy, Norwegia, Nowa Zelandia, Polska, Portugalia, Rumunia, San Marino, Serbia, Singapur, Stany Zjednoczone, Svalbard i Jan Mayen, Szwajcaria, Szwecja, Słowacja, Słowenia, Turcja, Ukraina, Watykan, Węgry, Włochy, Zjednoczone Emiraty Arabskie, Łotwa
Wykluczenia:
Afganistan, Jemen, Libia, Nauru, Rosja, Somalia
Wysyłka i obsługa | Do | Usługa | Dostawa*Zobacz uwagi o dostawie |
---|---|---|---|
GBP 30,98 (około 155,90 zł) | Stany Zjednoczone | Parcelforce Global Priority |
Czas na wysłanie |
---|
Zwykle wysyłam przesyłkę w ciągu 10 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 394770343998
Podatek od sprzedaży dla przedmiotu nr 394770343998
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 |
---|---|
30 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 (506)
4***4 (256)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Arrived safely and as described thanks!!
7***y (82)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Great book
5***e (73)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Good purchase.