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

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Susanne Graf
Kod Libristo: 01559203
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Cały opis
? points 142 b
Gwarancja
najlepszej
ceny ▸
247.55 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Borderline - Tijuana Connection, 1 DVD William A. Seiter / Wideo DVD
common.buy 58.22 zł
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-book Adobe ePub DRM
common.buy 37.27 zł
Zapowiedź
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Książka Książka
common.buy 294.26 zł
?Quién es mi bebé? EDICIONES / Książka Miękka
common.buy 80.47 zł
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Książka Miękka
common.buy 53.21 zł
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Książka Miękka
common.buy 42.19 zł
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Książka Twarda
common.buy 154.14 zł
Rafaela McKensey Monika Hoffmann / Książka Miękka
common.buy 33.07 zł
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Książka Miękka
common.buy 61.73 zł
Königsblut / Książka Miękka
common.buy 33.27 zł

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

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 Susanne Graf, Laurent Mounier
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 314
EAN 9783540213147
ISBN 3540213147
Kod Libristo 01559203
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 493
Wymiary 155 x 235 x 18

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
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
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ć

Frontiers in Algorithms D. T. Lee / Książka Miękka
common.buy 242.44 zł
Classic Operating Systems Per Brinch Hansen / Książka Twarda
common.buy 435.98 zł
First Steps: Caro-Kann Defence Andrew Martin / Książka Miękka
common.buy 106.03 zł
Gonzalva of Cordova; Or, Grenada Reconquered. Now First Translated from the French of M. Florian. in Three Volumes. ... Volume 2 of 3 Florian / Książka Miękka
common.buy 87.79 zł
Obituary Mario Martinez / Książka Twarda
common.buy 111.24 zł
7 Mindsets to Master Self-Awareness Elizabeth Diamond / Książka Miękka
common.buy 69.05 zł
Marble Mountain Bud Willis / Książka Miękka
common.buy 91.30 zł
Sanctuary Willa Ford / Książka Twarda
common.buy 138.40 zł
Can You Stand to Be Blessed Lakiya Broadus / Książka Miękka
common.buy 85.89 zł
A Time to Laugh [With Bag] Ben Alex / Książka Twarda
common.buy 58.92 zł
Patología celular Norman F. Cheville / Książka Miękka
common.buy 183.51 zł
Mobile Communications Handbook Jerry D. Gibson / Książka Miękka
common.buy 515.86 zł
Eurythmics Eurythmics / Książka Miękka
common.buy 60.53 zł
A History of Westbury, Long Island Richard Panchyk / Książka Twarda
common.buy 107.23 zł
After the World Ended Hannah Lackoff / Książka Miękka
common.buy 62.83 zł
Theory of Cryptography Amos Beimel / Książka Miękka
common.buy 218.69 zł
Eugenics and Other Evils G. K. Chesterton / Książka Miękka
common.buy 74.36 zł
Windows Server 2012 R2 Inside Out Volume 1 William Stanek / E-book Adobe ePub DRM
common.buy 129.28 zł
Methods for Plant Nucleus and Chromatin Studies Célia Baroux / Książka Twarda
common.buy 979.51 zł
A to Z of Critical Thinking Beth Black / Książka Twarda
common.buy 461.84 zł
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Książka Miękka
common.buy 135.20 zł
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Książka Twarda
common.buy 653.27 zł
Multicriteria Analysis for Land-Use Management E. Beinat / Książka Twarda
common.buy 870.67 zł
From Divergent Power Series to Analytic Functions Werner Balser / Książka Miękka
common.buy 138.40 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