Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Unfoldings

A Partial-Order Approach to Model Checking

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Unfoldings Javier Esparza
Libristo kod: 01654485
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, studeni 2010
In this book the authors introduce unfoldings, an approach to model checking which alleviates the st... Cijeli opis
? points 249 b
102.71 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Problema smysla zhizni i sowremennost' / Knjiga Meki uvez
common.buy 70.12 €
Robinson Crusoe Daniel Defoe / Knjiga Meki uvez
common.buy 9.17 €
Gothofredi Guillelmi Leibnitii ... Opera Omnia: Nunc Primum Collecta, In Classes Distributa, Praefationibus Et Indicibus Exornata; Volume 2 Louis Dutens / Knjiga Meki uvez
common.buy 32.48 €
Unti JA Picture Book - Inteli Bruno Jacob / Knjiga Tvrdi uvez
common.buy 13.92 €
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 / Knjiga Meki uvez
common.buy 13.01 €
Trina Klaus Groth / Knjiga Meki uvez
common.buy 19.67 €
Dementia Jonathan Schmitt / Knjiga Meki uvez
common.buy 11.80 €
Le sinfonie di Beethoven. Una visione artistica Lewis Lockwood / Knjiga Meki uvez
common.buy 39.14 €
Lambacher Schweizer Mathematik Einführungsphase. Ausgabe Hessen / Knjiga Meki uvez
common.buy 27.94 €
Sangre CLARA PEÑALVER / Knjiga Meki uvez
common.buy 10.28 €
Vom Chaos zur Endophysik Florian Rötzer / Knjiga Meki uvez
common.buy 42.67 €
Theatre Complet d'Alex. Dumas. Tome 13 Le Comte de Morcerf Alexandre Dumas / Knjiga Meki uvez
common.buy 22.09 €
Qualidade de vida e auto estima apos mamoplastia redutora Almendros Mello Arnaldo / Knjiga Meki uvez
common.buy 21.38 €
Die illustrierte Apokalypse Heinrichs von Hesler im Deutschen Orden Sabine Jagodzinski / Knjiga Meki uvez
common.buy 32.38 €
Zum Bedeutungsverlust formaler Standardisierung fur die Marktrelevanz von Audio-Standards zur Online-Distribution Werner Otto / Knjiga Meki uvez
common.buy 47.11 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Unfoldings
Autor Javier Esparza, Keijo Heljanko
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 172
EAN 9783642096051
ISBN 3642096050
Libristo kod 01654485
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 290
Dimenzije 155 x 235 x 9

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Ghost of the Pirate Mermaid George J Guerin / Knjiga Meki uvez
common.buy 19.26 €
(Almost) Impossible Integrals, Sums, and Series Cornel Ioan Valean / Knjiga Tvrdi uvez
common.buy 80.41 €
The Sufferings of John Coustos for Freemasonry and for His Refusing to Turn Roman Catholic in the Inquisition at Lisbon John Coustos / Knjiga Meki uvez
common.buy 41.97 €
Economics of Green Growth Shunsuke Managi / Knjiga Meki uvez
common.buy 72.95 €
Top
Witch Hat Atelier 5 Kamome Shirahama / Knjiga Meki uvez
common.buy 10.59 €
Objectivity in Science Flavia Padovani / Knjiga Meki uvez
common.buy 113.01 €
Documentary History of Dunmore's War, 1774 Reuben Gold Thwaites / Knjiga Meki uvez
common.buy 40.96 €
Jane Austen's Popular and Critical Reputation Joan Klingel Ray / Knjiga Tvrdi uvez
common.buy 595.95 €
Top
Good Inside Becky Kennedy / Knjiga Meki uvez
common.buy 14.12 €
Daughters of Disaster Amanda L Rautio / Knjiga Tvrdi uvez
common.buy 38.23 €
Man Who Educated a Horse (a Pioneer in Humane Education) Essie Mott Lee / Knjiga Meki uvez
common.buy 15.02 €
Sidetracked Allan Michael Hardin / Knjiga Meki uvez
common.buy 11.29 €
Animals, Politics and Morality Robert Garner / Knjiga Tvrdi uvez
common.buy 104.63 €
World War Ii: 365 Days Margaret E. Wagner / Knjiga Tvrdi uvez
common.buy 22.79 €
Pripremamo
Negotiating Difference Michael Awkward / Knjiga Tvrdi uvez
common.buy 104.53 €
Art of Gluten-Free Living Wilson / Knjiga Meki uvez
common.buy 12.70 €
At the Crossroads Harriet T. (Harriet Theresa) Comstock / Knjiga Tvrdi uvez
common.buy 22.29 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?