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
Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €
phone Kontakt phoneJak kupować

Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Antti Valmari
Kod Libristo: 01561845
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2006
This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Cały opis
? points 122 b
Gwarancja
najlepszej
ceny ▸
49.99 € včetně DPH
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Książka Miękka
common.buy 14.69 €
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Książka Miękka
common.buy 27.95 €
Celulas-Tronco Capuano Vanessa Capuano / Książka Miękka
common.buy 36.59 €
Programa de educación financeira / Książka Miękka
common.buy 24.59 €
Die Auswirkungen schlechter Regierungsführung in Kenia: Gewalt nach den Wahlen 2007-2008 Charles Kemboi / Książka Miękka
common.buy 66.90 €
Planner Story Pavel Kosatík / Książka Twarda
common.buy 0.79 €
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Książka Miękka
common.buy 17.95 €
Mit Vollgas Weiter Die Jungen Klostertaler / Audio CD Audio
common.buy 15.99 €
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Książka Karta
common.buy 13.99 €
XXX xxx / Książka Miękka
common.buy 6.09 €
TOP
Bicycle Panda (Designer Spielkarten, Poker, Skat...) United States Playing Card Company (USPC) / Prasa Karty
common.buy 7.99 €
Rupáner-konyha Rupáner-Gallé Margó / Książka Twarda
common.buy 11.89 €
Fundamentos teóricos y jurídicos de la ordenación del territorio / Książka Miękka
common.buy 21.09 €
I Bedrövelsens Mörker/ Aus dem Dunkel der Trübsal Erik J. Stagnelius / Książka Twarda
common.buy 30.00 €
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Książka Miękka
common.buy 21.99 €
Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold / Książka Miękka
common.buy 61.99 €
Decirte adiós con un te quiero SILVIA CARPALLO / Książka Miękka
common.buy 16.29 €
Matrimonio y convivencia en pareja en el ámbito de la Unión Europea : hacia un nuevo modelo de matrimonio Murillo Muñoz / Książka Miękka
common.buy 31.69 €
La televisión local en el País Vasco Santos Díez / Książka Miękka
common.buy 11.59 €
Tu Fuerza Interior: Potencia Tus Fortalezas Para Lograr El Cambio / Your Inner Strength Bernardo Stamateas / Książka Miękka
common.buy 15.19 €
Corrales: Guia de Servicios Diego Molina Ruiz / Książka Miękka
common.buy 5.19 €
Handbuch Der Waffenkunde Wendelin Boeheim / Książka Miękka
common.buy 54.90 €
La Mort Comme Effet Secondaire Shua / Książka Miękka
common.buy 19.39 €
Vengeful - Die Rache ist mein V. E. Schwab / Książka Miękka
common.buy 18.00 €

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

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 Antti Valmari
Język Angielski
Oprawa Książka - Miękka
Data wydania 2006
Liczba stron 308
EAN 9783540331025
ISBN 3540331026
Kod Libristo 01561845
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1010
Wymiary 155 x 19 x 19

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ć

Thirteenth Bullet Cotton Smith / Książka Miękka
common.buy 6.39 €
Riveted Meljean Brook / Książka Miękka
common.buy 16.69 €
Interesting Interlude John Vint / Książka Miękka
common.buy 41.09 €
Cadogan Guide Cairo, Luxor and Aswan Michael Haag / Książka Miękka
common.buy 17.99 €
Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan / Książka Miękka
common.buy 19.69 €
Nuclear Medicine Dibya Prakash / Książka Miękka
common.buy 44.39 €
International Relations Theory Michael Haas / Książka Twarda
common.buy 110.79 €
Horse: Its Nature Revealed Emmanuelle Brengard / Książka Twarda
common.buy 24.19 €
Spanish Notebook Christopher Buckley / Książka Miękka
common.buy 13.19 €
Wages of Sin Kaite Welsh / Książka Miękka
common.buy 23.49 €
Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt / Książka Miękka
common.buy 8.69 €
Handbook of Macroeconomics J B Taylor / Książka Twarda
common.buy 132.29 €
Picasso Anna Coliva / Książka Twarda
common.buy 42.69 €
Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing / Książka Miękka
common.buy 6.99 €
Dancing with Sophia Brian Schroeder / Książka Miękka
common.buy 45.29 €
Beginner's Guide to Chinese Brush Painting Susan Self / Książka Twarda
common.buy 10.29 €
The Great War: Remastered Ww1 Standard History Collection Volume 11 Mark Bussler / Książka Miękka
common.buy 10.69 €
Once Upon a Winter Tennant Tilly Tennant / Książka Miękka
common.buy 9.99 €
Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education / Książka Miękka
common.buy 7.89 €
Women, Stress, and Heart Disease Kristina Orth-Gomer / E-book Adobe ePub DRM
common.buy 74.59 €
Young ELI Readers - English Jane Cadwallader / Książka Miękka
common.buy 6.79 €
Dark Psychology Sushmita Dutta / Książka Miękka
common.buy 18.79 €
TOP
The Charlie Method Elle Kennedy / Książka Miękka
common.buy 11.49 €
Surgery for Parkinson's Disease Robert R. Goodman / Książka Twarda
common.buy 44.39 €

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?