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

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Alastair Donaldson
Kod Libristo: 01661641
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Cały opis
? points 115 b
201.43 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877) Diderot D / Książka Miękka
common.buy 140.50 zł
Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2 Dorado Picón / Książka Miękka
common.buy 188.18 zł
Krabben Günter Pump / Książka Twarda
common.buy 36.22 zł
Veselý vlak - Nálepky do vane neuvedený autor / Prasa Karty
common.buy 47.97 zł
Polnische Ostseeküste Wolfgang Kling / Książka Miękka
common.buy 61.11 zł
FAUNO Cristina Lobo / Książka Miękka
common.buy 90.22 zł
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Książka Miękka
common.buy 119.63 zł
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Książka Miękka
common.buy 68.64 zł
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Książka Miękka
common.buy 144.02 zł
Ganz normale Bürger David King / Książka Twarda
common.buy 87.71 zł
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Książka Miękka
common.buy 57.30 zł

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

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 Alastair Donaldson, David Parker
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 261
EAN 9783642317583
ISBN 3642317588
Kod Libristo 01661641
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 421
Wymiary 155 x 235 x 15

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania
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) > 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ć

Begegnung Mit Der Vergangenheit Alberto Giacometti / Książka Twarda
common.buy 474.23 zł
Esther's Tooth: Judge Ortega investigates Mike Thomas / Książka Miękka
common.buy 63.02 zł
The Fulcrum Files Mark Chisnell / Książka Miękka
common.buy 66.73 zł
Trapped Under the Sea Neil Swidey / Książka Miękka
common.buy 79.48 zł
Miss Pardoe's Complete Works 1806-1862 Pardoe / Książka Twarda
common.buy 194.10 zł
Stories from Mother's Note Book Lucy Tonge / Książka Twarda
common.buy 133.98 zł
Sanctuary of Demeter and Kore Nancy Bookidis / Książka Twarda
common.buy 698.45 zł
Methane and its Derivatives Sunggyu Lee / Książka Twarda
common.buy 1 985.77 zł
Restraining Rage William Vernon Harris / Książka Miękka
common.buy 198.62 zł
Why America's Public Schools Are the Best Place for Kids Dave F. Brown / Książka Twarda
common.buy 462.49 zł
Integration Through Foreign Direct Investment Gábor Hunya / Książka Twarda
common.buy 708.69 zł
Last Generation of the Roman Republic Gruen / Książka Miękka
common.buy 207.95 zł
Everything we do is music Barry Russell / Książka Miękka
common.buy 139.60 zł
International Climate Change Law Daniel Bodansky / Książka Miękka
common.buy 383.50 zł
Music and Technology: A Very Short Introduction Katz / Książka Miękka
common.buy 45.16 zł
Cracked James Davies / Książka Miękka
common.buy 59.01 zł
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Książka Twarda
common.buy 792.39 zł
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Książka Miękka
common.buy 49.57 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