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 Kurier 12.99 zł Punkt DPD 11.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
Gwarancja
najlepszej
ceny ▸
254.70 zł
Dostępna u dostawcy Wysyłamy za 10-16 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Star Wars Hidden Empire T02 / Książka Miękka
common.buy 89.11 zł
Las Grandes Batallas Navales 10. La Hougue JEAN-YVES DELITTE / Książka Miękka
common.buy 88.51 zł
Odnaleziony Coben Harlan / Książka Miękka
common.buy 35.22 zł
La forge monastique, discrétion et rigueur Elie / Książka Miękka
common.buy 36.82 zł
Zapowiedź
JANE GOODALL / Książka Twarda
common.buy 126.95 zł
Fame and Fortune TM Smith / E-book Adobe ePub DRM
common.buy 23.86 zł
PUZZLE 1000 Witraż Zwierzęta 10957 / Gra/Zabawka Puzzle
common.buy 38.83 zł
Uzniki Razuma Tat'yana Volkova / Książka Miękka
common.buy 227.70 zł
Be Kind (Nepali-English) Livia Lemgruber / Książka Miękka
common.buy 67.03 zł
El estado de las gastronomías González de Heredia Garaygordobil / Książka Miękka
common.buy 117.81 zł
Shame - 368000 km pour découvrir... mon histoire volée par MK2 production Wild / Książka Miękka
common.buy 74.56 zł
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Kalendarz/Pamiętnik Pamiętnik
common.buy 41.34 zł
Den Libanon lieben lernen Laura Ziegler / Książka Miękka
common.buy 32.00 zł
Muerte en la vicaría Agatha Christie / Audio CD Audio
common.buy 42.74 zł
Sofiin svět Jostein Gaarder / Audio CD Audio
common.buy 55.09 zł
Diamante Nero Victoria Quinn / Książka Miękka
common.buy 68.41 zł
Die besten Aufstriche selbst gemacht Charly Till / Książka Miękka
common.buy 37.32 zł
Textanfänge Ulrike Krieg-Holz / Książka Miękka
common.buy 204.42 zł
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Książka Miękka
common.buy 51.88 zł
Raketa Hravá kniha pro děti collegium / Książka Miękka
common.buy 49.77 zł
Nach dem bewaffneten Kampf Angelika Holderberg / Książka Miękka
common.buy 41.64 zł
Kvalita software Petr Roudenský / Książka Miękka
common.buy 35.72 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ć

Dynamic Stochastic Optimization K. Marti / Książka Miękka
common.buy 447.39 zł
Artificial Intelligence Applications and Innovations Lazaros S. Iliadis / Książka Miękka
common.buy 447.39 zł
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Książka Miękka
common.buy 63.58 zł
Fabianism and Fabianist Morals in G.B. Shaw's Widowers Houses, Arms and the Man and The Devil's Disciple Nicholas Williams / Książka Miękka
common.buy 62.65 zł
38 DIVISION 114 Infantry Brigade Welsh Regiment 10th, 13t, 14th and 15th Battalion, Brigade Machine Gun Company and Brigade Trench Mortar Battery Wo95/2559 / Książka Miękka
common.buy 425.11 zł
Olmecs: A Captivating Guide to the Earliest Known Major Ancient Civilization in Mexico Captivating History / Książka Miękka
common.buy 58.53 zł
Puppy Dance Party! (Paw Patrol) Hollis James / Książka Miękka
common.buy 24.88 zł
Paxton Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Paxton Books / Książka Miękka
common.buy 44.85 zł
Field Studies Techniques. Part 3. Zoology: Investigating Nature Together Michael Brody / Książka Miękka
common.buy 59.97 zł
TOP
Down the Highway: The Life of Bob Dylan Howard Sounes / Książka Miękka
common.buy 75.06 zł
Myofascial Induction (TM) Andrzej Pilat / Książka Twarda
common.buy 693.37 zł
The Shadow Lily Johanna Mo / Książka Miękka
common.buy 62.31 zł
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Książka Miękka
common.buy 36.42 zł
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Książka Miękka
common.buy 59.25 zł
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Książka Miękka
common.buy 32.71 zł
Tanie
Homegrown Flax and Cotton CONNER CINDY / Książka Miękka
common.buy 63.22 zł
Statistical Mechanics of Neural Networks Huang / Książka Miękka
common.buy 670.39 zł
History of Wyoming; Volume 1 Ichabod S. Bartlett / Książka Miękka
common.buy 137.38 zł
Shadowless Alison Robinson / Książka Twarda
common.buy 78.07 zł
Best Is Always... Still Yet to Come! Keith Payne / Książka Miękka
common.buy 74.86 zł
Tour to London Pierre Jean Grosley / Książka Miękka
common.buy 95.33 zł
Adventures of Doctor Chess A Student / Książka Miękka
common.buy 103.46 zł
Sword Song Sal Quartuccio / Książka Miękka
common.buy 84.09 zł
Causal Analysis with Panel Data Steven Eric Finkel / Książka Miękka
common.buy 120.12 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?