Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Model Checking Software

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Ezio Bartocci
Kod Libristo: 01663942
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2013
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking... Cały opis
? points 141 b
Gwarancja
najlepszej
ceny ▸
248.35 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 11-15 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Ste. Roche Henriette Von Paalzow / Książka Miękka
common.buy 196.53 zł
Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann / Książka Miękka
common.buy 269.99 zł
Agora sou um professor digital, como ser um professor durante a pandemia.: Um dia estava dentro da sala de aula, outro dia estava dentro de uma plataf Odirlei Amaro Ferreira / Książka Miękka
common.buy 26.36 zł
Hisskillen i Lissabon Cupido / Audiobook MP3
common.buy 13.47 zł
TOP
Puzzle 3x48 Peppa Pig / Gra/Zabawka Puzzle
common.buy 23.04 zł

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Model Checking Software
Autor Ezio Bartocci, C. R. Ramakrishnan
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 377
EAN 9783642391750
ISBN 3642391753
Kod Libristo 01663942
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 593
Wymiary 155 x 235 x 22

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Organometallic Oxidation Catalysis Franc Meyer / Książka Miękka
common.buy 963.14 zł
Modern Syntheses of Cobalt (III) Complexes M. Shibata / Książka Miękka
common.buy 248.35 zł
Monteverdi: Vespers (1610) John (University of Birmingham) Whenham / Książka Twarda
common.buy 402.62 zł
Living the Beatles Legend Kenneth Womack / Książka Miękka
common.buy 59.36 zł
Memorable Edinburgh Houses Wilmot Harrison / Książka Twarda
common.buy 130.51 zł
Dingbat: Adventures in Trickle Valley Jennifer White / Książka Miękka
common.buy 40.04 zł
Pieter Vermeersch: Variations Dieter Roelstraete / Książka Miękka
common.buy 173.58 zł
52 Steps to Success Anthony Pan / Książka Miękka
common.buy 127.99 zł
Medical Spanish: A Workbook: Study Module 1 Craig A Sinkinson M D / Książka Miękka
common.buy 131.72 zł
Looking for Love with All the Wrong Husbands Tee Fuller / Książka Twarda
common.buy 166.13 zł
Finding Hope Dan Rogers / Książka Miękka
common.buy 66.91 zł
Media Strategies for Understanding Contemporary News in a Biased World Bradley K Smith / Książka Miękka
common.buy 61.98 zł
New Knebworth Edition. Edward George Earle Lytton Baron Bulwer / Książka Miękka
common.buy 134.33 zł
Cambridge English: First Masterclass: Teacher's Pack collegium / Książka Miękka
common.buy 145.10 zł
Zapowiedź
Extreme-occident Jean-Philippe Mathy / Książka Twarda
common.buy 474.57 zł
High Frequency Continuous Time Filters in Digital CMOS Processes Shanthi Pavan / Książka Miękka
common.buy 486.75 zł
National Federation of Women Workers, 1906-1921 Cathy Hunt / Książka Twarda
common.buy 486.75 zł
Greek Islands Korina Miller / Książka Miękka
common.buy 131.42 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?