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 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Unfoldings

A Partial-Order Approach to Model Checking

Język AngielskiAngielski
Książka Miękka
Książka Unfoldings Javier Esparza
Kod Libristo: 01654485
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2010
In this book the authors introduce unfoldings, an approach to model checking which alleviates the st... Cały opis
? points 249 b
439.67 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Problema smysla zhizni i sowremennost' / Książka Miękka
common.buy 300.49 zł
Robinson Crusoe Daniel Defoe / Książka Miękka
common.buy 39.31 zł
Leipziger Lehrausflüge Kurt Krause / Książka Twarda
common.buy 148.57 zł
Unti JA Picture Book - Inteli Bruno Jacob / Książka Twarda
common.buy 59.42 zł
St Porphyry of Kausokalyvia, the Secret Is Being Thankful: An Anthology of St Porphyry's Speeches, with an Introduction and Comments by George Valsami George Valsamis / Książka Miękka
common.buy 55.78 zł
Trina Klaus Groth / Książka Miękka
common.buy 84.19 zł
Dementia Jonathan Schmitt / Książka Miękka
common.buy 50.43 zł
Le sinfonie di Beethoven. Una visione artistica Lewis Lockwood / Książka Miękka
common.buy 167.57 zł
Lambacher Schweizer Mathematik Einführungsphase. Ausgabe Hessen / Książka Miękka
common.buy 119.46 zł
Sangre CLARA PEÑALVER / Książka Miękka
common.buy 46.08 zł
Theatre Complet d'Alex. Dumas. Tome 13 Le Comte de Morcerf Alexandre Dumas / Książka Miękka
common.buy 94.70 zł
Qualidade de vida e auto estima apos mamoplastia redutora Almendros Mello Arnaldo / Książka Miękka
common.buy 91.56 zł
Die illustrierte Apokalypse Heinrichs von Hesler im Deutschen Orden Sabine Jagodzinski / Książka Miękka
common.buy 145.74 zł
Zum Bedeutungsverlust formaler Standardisierung fur die Marktrelevanz von Audio-Standards zur Online-Distribution Werner Otto / Książka Miękka
common.buy 201.64 zł

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.

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 Unfoldings
Autor Javier Esparza, Keijo Heljanko
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 172
EAN 9783642096051
ISBN 3642096050
Kod Libristo 01654485
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 290
Wymiary 155 x 235 x 9

Kategoria

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

Sidetracked Allan Michael Hardin / Książka Miękka
common.buy 48.30 zł
Economics of Green Growth Shunsuke Managi / Książka Miękka
common.buy 298.87 zł
TOP
Witch Hat Atelier 5 Kamome Shirahama / Książka Miękka
common.buy 45.47 zł
Objectivity in Science Flavia Padovani / Książka Miękka
common.buy 483.44 zł
Documentary History of Dunmore's War, 1774 Reuben Gold Thwaites / Książka Miękka
common.buy 175.36 zł
Jane Austen's Popular and Critical Reputation Joan Klingel Ray / Książka Twarda
common.buy 2 496.07 zł
Daughters of Disaster Amanda L Rautio / Książka Twarda
common.buy 175.56 zł
Man Who Educated a Horse (a Pioneer in Humane Education) Essie Mott Lee / Książka Miękka
common.buy 71.96 zł
Animals, Politics and Morality Robert Garner / Książka Twarda
common.buy 447.55 zł
World War Ii: 365 Days Margaret E. Wagner / Książka Twarda
common.buy 97.53 zł
Art of Gluten-Free Living Wilson / Książka Miękka
common.buy 61.34 zł
TOP
Good Inside Becky Kennedy / Książka Miękka
common.buy 60.33 zł
At the Crossroads Harriet T. (Harriet Theresa) Comstock / Książka Twarda
common.buy 95.41 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?