Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Unfoldings

A Partial-Order Approach to Model Checking

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Unfoldings Javier Esparza
Libristo-code: 01654485
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2010
In this book the authors introduce unfoldings, an approach to model checking which alleviates the st... Volledige beschrijving
? points 290 b
119.88 €
In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Problema smysla zhizni i sowremennost' / Boek Gebonden (paperback)
common.buy 70.53 €
Robinson Crusoe Daniel Defoe / Boek Gebonden (paperback)
common.buy 9.21 €
Leipziger Lehrausflüge Kurt Krause / Boek Gebonden (harde band)
common.buy 34.85 €
Unti JA Picture Book - Inteli Bruno Jacob / Boek Gebonden (harde band)
common.buy 14.89 €
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 / Boek Gebonden (paperback)
common.buy 13.06 €
Trina Klaus Groth / Boek Gebonden (paperback)
common.buy 28.27 €
Dementia Jonathan Schmitt / Boek Gebonden (paperback)
common.buy 29.68 €
Le sinfonie di Beethoven. Una visione artistica Lewis Lockwood / Boek Gebonden (paperback)
common.buy 39.31 €
Sangre CLARA PEÑALVER / Boek Gebonden (paperback)
common.buy 10.83 €
Theatre Complet d'Alex. Dumas. Tome 13 Le Comte de Morcerf Alexandre Dumas / Boek Gebonden (paperback)
common.buy 22.18 €
Qualidade de vida e auto estima apos mamoplastia redutora Almendros Mello Arnaldo / Boek Gebonden (paperback)
common.buy 26.24 €
Die illustrierte Apokalypse Heinrichs von Hesler im Deutschen Orden Sabine Jagodzinski / Boek Gebonden (paperback)
common.buy 35.76 €
Zum Bedeutungsverlust formaler Standardisierung fur die Marktrelevanz von Audio-Standards zur Online-Distribution Werner Otto / Boek Gebonden (paperback)
common.buy 47.32 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Unfoldings
Auteur Javier Esparza, Keijo Heljanko
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 172
EAN 9783642096051
ISBN 3642096050
Libristo-code 01654485
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 290
Afmetingen 155 x 235 x 9

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling > Softwaretesten en softwareverificatie
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Sidetracked Allan Michael Hardin / Boek Gebonden (paperback)
common.buy 11.34 €
Economics of Green Growth Shunsuke Managi / Boek Gebonden (paperback)
common.buy 70.12 €
TOP
Witch Hat Atelier 5 Kamome Shirahama / Boek Gebonden (paperback)
common.buy 10.63 €
Objectivity in Science Flavia Padovani / Boek Gebonden (paperback)
common.buy 132.35 €
Documentary History of Dunmore's War, 1774 Reuben Gold Thwaites / Boek Gebonden (paperback)
common.buy 41.14 €
Jane Austen's Popular and Critical Reputation Joan Klingel Ray / Boek Gebonden (harde band)
common.buy 588.10 €
Daughters of Disaster Amanda L Rautio / Boek Gebonden (harde band)
common.buy 41.24 €
Man Who Educated a Horse (a Pioneer in Humane Education) Essie Mott Lee / Boek Gebonden (paperback)
common.buy 16.91 €
World War Ii: 365 Days Margaret E. Wagner / Boek Gebonden (harde band)
common.buy 22.89 €
Art of Gluten-Free Living Wilson / Boek Gebonden (paperback)
common.buy 14.38 €
TOP
Good Inside Becky Kennedy / Boek Gebonden (paperback)
common.buy 17.12 €
At the Crossroads Harriet T. (Harriet Theresa) Comstock / Boek Gebonden (harde band)
common.buy 46.41 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?