Zdjęcie 1 z 1
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, US<|
Stan:
Dostępne: 5
Wysyłka:
Może nie być wysyłki do: Stany Zjednoczone. Zobacz opis przedmiotu lub skontaktuj się ze sprzedawcą w sprawie opcji wysyłki. Zobacz szczegółydla wysyłki
Znajduje się w: South East, Wielka Brytania
Dostawa:
Czas zmienny
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
- 99,1% opinii pozytywnych
Zarejestrowany jako sprzedawca-firma
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 296193551183
Parametry przedmiotu
- Stan
- PublishedOn
- 2019-05-28
- Title
- NASA Formal Methods : 11th International Symposium, NFM 2019, Ho
- ISBN
- 9783030206512
- Publication Year
- 2019
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
- Item Height
- 235mm
- Publisher
- Springer Nature Switzerland A&G
- Item Width
- 155mm
- Subject
- Computer Science
- Item Weight
- 635g
- Number of Pages
- 392 Pages
O tym produkcie
Product Information
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
Product Identifiers
Publisher
Springer Nature Switzerland A&G
ISBN-13
9783030206512
eBay Product ID (ePID)
16046536459
Product Key Features
Publication Name
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2019
Type
Textbook
Number of Pages
392 Pages
Dimensions
Item Height
235mm
Item Width
155mm
Volume
11460
Item Weight
635g
Additional Product Features
Series Title
Lecture Notes in Computer Science
Country/Region of Manufacture
Switzerland
Editor
Kristin Yvonne Rozier, Julia M. Badger
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
WRAP Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Numer VAT (NIP):
- GB 724498118
Numer rejestracyjny (REGON):
- 03800600
Oświadczam, że wszystkie moje działania związane ze sprzedażą będą zgodne z wszystkimi przepisami i regulacjami UE.
Numer CRN:
- 03800600
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 296193551183
Wysyłka i obsługa
Sprzedawca nie określił metody wysyłki do: Stany Zjednoczone. Skontaktuj się ze sprzedawcą i poproś o wysyłkę do Twojej lokalizacji.
Lokalizacja przedmiotu:
South East, Wielka Brytania
Wysyłka do:
Australia, Japonia, Kanada, Unia Europejska, Wielka Brytania
Wykluczenia:
Afganistan, Austria, Jemen, Libia, Nauru, Niemcy, Rosja, Somalia, Szwajcaria, Ukraina
| Czas na wysłanie |
|---|
| Zwykle wysyłam przesyłkę w ciągu 5 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 296193551183
Podatek od sprzedaży dla przedmiotu nr 296193551183
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
Popularne kategorie z tego Sklepu
Zarejestrowany jako sprzedawca-firma
Opinie sprzedawców (2 895 482)
o***y (2770)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Book received
g***o (32)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Cd doesn't work properly and book very confusing so no would not recommend
d***k (231)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Wee girl is very happy