Zdjęcie 1 z 1
Computer Aided Verification : 29th Internationa. Majumdar, Kunč PB<|
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: 126297488170
Parametry przedmiotu
- Stan
- PublishedOn
- 2017-08-17
- Title
- Computer Aided Verification : 29th International Conference, CAV
- ISBN
- 9783319633862
- Publication Year
- 2017
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
- Item Height
- 235mm
- Publisher
- Springer International Publishing A&G
- Item Width
- 155mm
- Subject
- Computer Science
- Item Weight
- 9299g
- Number of Pages
- 601 Pages
O tym produkcie
Product Information
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Product Identifiers
Publisher
Springer International Publishing A&G
ISBN-13
9783319633862
eBay Product ID (ePID)
238846218
Product Key Features
Publication Name
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2017
Type
Textbook
Number of Pages
601 Pages
Dimensions
Item Height
235mm
Item Width
155mm
Volume
10426
Item Weight
9299g
Additional Product Features
Series Title
Theoretical Computer Science and General Issues
Country/Region of Manufacture
Switzerland
Editor
Viktor Kuncak, Rupak Majumdar
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.
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 126297488170
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 126297488170
Podatek od sprzedaży dla przedmiotu nr 126297488170
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 832 641)
r***r (1382)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Received with thanks Dr
e***r (1)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Awesome seller A* perfect description, prompt delivery, most excellent comms.
r***r (1382)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Received with thanks