Zdjęcie 1 z 1
Mordechai Ben-Ari Principles of the Spin Model Checker (Paperback)
Another great item from Rarewaves USA | Free delivery!
Stan:
Dostępne: 2
Wysyłka:
Znajduje się w: 60502, Stany Zjednoczone
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
- 97,8% opinii pozytywnych
Zarejestrowany jako sprzedawca-firma
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 315051214214
Ostatnia aktualizacja: 01-05-2024 19:26:26 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Parametry przedmiotu
- Stan
- Book Title
- Principles of the Spin Model Checker
- Publication Name
- Principles of the Spin Model Checker
- Title
- Principles of the Spin Model Checker
- Format
- Perfect
- EAN
- 9781846287695
- ISBN
- 9781846287695
- Publisher
- Springer London, The Limited
- Genre
- Computers
- Release Date
- 08/01/2008
- Release Year
- 2008
- Language
- English
- Country/Region of Manufacture
- GB
- Item Height
- 0.2in
- Item Length
- 9in
- Publication Year
- 2008
- Type
- Textbook
- Topic
- Programming / General, Software Development & Engineering / Quality Assurance & Testing, Software Development & Engineering / General, Compilers
- Item Width
- 6in
- Item Weight
- 26.5 Oz
- Number of Pages
- Xvi, 220 Pages
O tym produkcie
Product Information
Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism. Complete programs will demonstrate each construct and concept and these programs will be available on a companion website.
Product Identifiers
Publisher
Springer London, The Limited
ISBN-10
1846287693
ISBN-13
9781846287695
eBay Product ID (ePID)
63137825
Product Key Features
Format
Perfect
Language
English
Topic
Programming / General, Software Development & Engineering / Quality Assurance & Testing, Software Development & Engineering / General, Compilers
Publication Year
2008
Type
Textbook
Genre
Computers
Number of Pages
Xvi, 220 Pages
Dimensions
Item Length
9in
Item Height
0.2in
Item Width
6in
Item Weight
26.5 Oz
Additional Product Features
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Publication Name
Principles of the Spin Model Checker
Table of Content
Sequential Programming in Promela.- Verification of Sequential Programs.- Concurrency.- Synchronization.- Verification with Temporal Logic.- Data and Program Structures.- Channels.- Nondeterminism.- Advanced Topics in Promela.- Advanced Topics in Spin.- Case Studies.
Copyright Date
2008
Lccn
2007-941384
Dewey Decimal
005.14
Intended Audience
Scholarly & Professional
Dewey Edition
22
Illustrated
Yes
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
Rarewaves-USA
10100 W Sample Rd
33065 Coral Springs, FL
United States
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: 315051214214
Ostatnia aktualizacja: 01-05-2024 19:26:26 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Wysyłka i obsługa
Sprzedawca nie wysyła do: Stany Zjednoczone
Lokalizacja przedmiotu:
60502, Stany Zjednoczone
Wysyłka do:
Albania, Algieria, Andora, Angola, Anguilla, Antigua i Barbuda, Antyle Holenderskie, Arabia Saudyjska, Argentyna, Armenia, Aruba, Azerbejdżan, Bahamy, Bahrajn, Bangladesz, Belgia, Belize, Benin, Bermudy, Boliwia, Botswana, Bośnia i Hercegowina, Brytyjskie Wyspy Dziewicze, Burkina Faso, Burundi, Bułgaria, Cały świat, Chile, Chiny, Chorwacja, Cypr, Czad, Czarnogóra, Czechy, Dania, Demokratyczna Republika Konga, Dominika, Dominikana, Dżibuti, Egipt, Ekwador, Erytrea, Estonia, Eswatini, Etiopia, Falklandy (Malwiny), Fidżi, Filipiny, Finlandia, Gabon, Gambia, Ghana, Gibraltar, Grecja, Grenada, Grenlandia, Gruzja, Guam, Guernsey, Gujana, Gwatemala, Gwinea, Gwinea Bissau, Gwinea Równikowa, Haiti, Honduras, Hongkong, Indie, Indonezja, Irak, Islandia, Jamajka, Japonia, Jersey, Jordania, Kajmany, Kambodża, Kamerun, Katar, Kazachstan, Kenia, Kirgistan, Kiribati, Kolumbia, Komory, Kongo, Korea Południowa, Kostaryka, Kuwejt, Lesotho, Liban, Liberia, Liechtenstein, Litwa, Luksemburg, Macedonia Północna, Madagaskar, Majotta, Makau, Malawi, Malediwy, Malezja, Mali, Malta, Maroko, Mauretania, Mauritius, Mikronezja, Monako, Mongolia, Montserrat, Mozambik, Mołdawia, Namibia, Nauru, Nepal, Niger, Nigeria, Nikaragua, Niue, Norwegia, Nowa Zelandia, Oman, Pakistan, Palau, Panama, Papua-Nowa Gwinea, Paragwaj, Peru, Polska, Portoryko, Portugalia, Południowa Afryka, Republika Zielonego Przylądka, Republika Środkowoafrykańska, Rumunia, Rwanda, Sahara Zachodnia, Saint Kitts i Nevis, Saint Lucia, Saint Pierre i Miquelon, Saint Vincent i Grenadyny, Salwador, Samoa Amerykańskie, Samoa Zachodnie, San Marino, Senegal, Serbia, Seszele, Sierra Leone, Singapur, Somalia, Sri Lanka, Surinam, Svalbard i Jan Mayen, Szwecja, Słowacja, Słowenia, Tadżykistan, Tajlandia, Tajwan, Tanzania, Togo, Tonga, Trynidad i Tobago, Tunezja, Turcja, Turkmenistan, Turks i Caicos, Tuvalu, Uganda, Urugwaj, Uzbekistan, Vanuatu, Wallis i Futuna, Watykan, Wietnam, Wybrzeże Kości Słoniowej, Wyspy Cooka, Wyspy Dziewicze (USA), Wyspy Marshalla, Wyspy Salomona, Węgry, Zambia, Zimbabwe, Zjednoczone Emiraty Arabskie, Łotwa, Święta Helena
Wykluczenia:
Afganistan, Australia, Austria, Barbados, Bhutan, Białoruś, Brazylia, Brunei, Francja, Gujana Francuska, Gwadelupa, Hiszpania, Holandia, Irlandia, Izrael, Jemen, Laos, Libia, Martynika, Meksyk, Niemcy, Nowa Kaledonia, Polinezja Francuska, Reunion, Rosja, Stany Zjednoczone, Szwajcaria, Ukraina, Wenezuela, Wielka Brytania, Włochy
| Czas na wysłanie |
|---|
| Zwykle wysyłam przesyłkę w ciągu 2 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 315051214214
Podatek od sprzedaży dla przedmiotu nr 315051214214
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 (62 782)
4***1 (389)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Fast shipping and arrived safe and sound. A+++ seller
0***v (516)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Great seller
l***s (3112)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
excellent record