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

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Jaco C. van de Pol
Kod Libristo: 01656755
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Cały opis
? points 142 b
248.05 zł
Dostępna u dostawcy Wysyłamy za 9-15 dni

30 dni na zwrot towaru

Klienci kupili także

Star Wars Hidden Empire T02 / Książka Miękka
common.buy 91.70 zł
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 229.51 zł
Be Kind (Nepali-English) Livia Lemgruber / Książka Miękka
common.buy 73.86 zł
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Kalendarz/Pamiętnik Pamiętnik
common.buy 45.79 zł
Den Libanon lieben lernen Laura Ziegler / Książka Miękka
common.buy 31.16 zł
Diamante Nero Victoria Quinn / Książka Miękka
common.buy 66.64 zł
Die besten Aufstriche selbst gemacht Charly Till / Książka Miękka
common.buy 36.37 zł
Textanfänge Ulrike Krieg-Holz / Książka Miękka
common.buy 199.24 zł
Raketa Hravá kniha pro děti collegium / Książka Miękka
common.buy 51.11 zł
Nach dem bewaffneten Kampf Angelika Holderberg / Książka Miękka
common.buy 40.58 zł
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Książka Miękka
common.buy 57.92 zł
Uzniki Razuma Tat'yana Volkova / Książka Miękka
common.buy 221.79 zł

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

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 Jaco C. van de Pol, Michael Weber
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 263
EAN 9783642161636
ISBN 3642161634
Kod Libristo 01656755
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 421
Wymiary 159 x 235 x 18

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
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) > Matematyczna teoria obliczeń
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ć

Sword Song Sal Quartuccio / Książka Miękka
common.buy 81.88 zł
Myofascial Induction (TM) Andrzej Pilat / Książka Twarda
common.buy 674.22 zł
Down the Highway: The Life of Bob Dylan Howard Sounes / Książka Miękka
common.buy 73.16 zł
The Shadow Lily Johanna Mo / Książka Miękka
common.buy 59.42 zł
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Książka Miękka
common.buy 29.06 zł
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Książka Miękka
common.buy 57.72 zł
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Książka Miękka
common.buy 31.86 zł
History of Wyoming; Volume 1 Ichabod S. Bartlett / Książka Miękka
common.buy 133.79 zł
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Książka Miękka
common.buy 61.93 zł
Shadowless Alison Robinson / Książka Twarda
common.buy 76.06 zł
Harbor Knight Ralph A Garcia / Książka Miękka
common.buy 66.84 zł
Best Is Always... Still Yet to Come! Keith Payne / Książka Miękka
common.buy 72.95 zł
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Książka Twarda
common.buy 185.91 zł
Tour to London Pierre Jean Grosley / Książka Miękka
common.buy 103.02 zł
Boxer's Bible of Counterpunching Mark Hatmaker / Książka Miękka
common.buy 47.90 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