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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Model Checking Software

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Model Checking Software Patrick Godefroid
Libristo-code: 01560970
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augustus 2005
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... Volledige beschrijving
? points 125 b
51.59 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Die Transformatoren R. Küchler / Boek Gebonden (paperback)
common.buy 76.93 €
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / E-book Adobe ePub DRM
common.buy 2.62 €
Wordt verwacht
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Spel/speelgoed Speelgoed
common.buy 78.65 €
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / E-book Adobe ePub DRM
common.buy 0.90 €
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Boek Gebonden (paperback)
common.buy 7.46 €
Global Tools (1973-1975) / Boek Gebonden (harde band)
common.buy 42.50 €
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Boek Gebonden (paperback)
common.buy 20.49 €
Ineos Grenadier Jörg Sand / Boek Gebonden (harde band)
common.buy 16.85 €
Šťastie na prenájom Lucia Braunová / Boek Gebonden (paperback)
common.buy 7.26 €
Passwort Logbuch Uwe H. Sültz / Boek Gebonden (paperback)
common.buy 4.53 €
SLOVO BUDHOVO Nyánatiloka Maháthera / Boek Boek
common.buy 7.56 €
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Boek Gebonden (paperback)
common.buy 10.89 €
La Region Mas Transparente Carlos Fuentes / Boek Gebonden (paperback)
common.buy 18.27 €
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Boek Gebonden (paperback)
common.buy 42.70 €
Aronia - Das heimische Superfood Tanja Braune / Boek Gebonden (paperback)
common.buy 16.85 €
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Boek Gebonden (paperback)
common.buy 6.15 €
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Boek Gebonden (paperback)
common.buy 28.46 €
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Boek Gebonden (paperback)
common.buy 17.36 €
Les Petits Loustics Hugues Denisot / Boek Gebonden (paperback)
common.buy 15.44 €
Ingenieurbauführer Berlin Roland May / Boek Gebonden (paperback)
common.buy 25.23 €
Main de fer et gant de velours Virginie Platel / Boek Gebonden (paperback)
common.buy 22.81 €
En Ovantad flykt till Sverige Tadesse Kassa / Boek Gebonden (paperback)
common.buy 10.89 €
Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio / Boek Gebonden (paperback)
common.buy 8.47 €

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

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 Model Checking Software
Auteur Patrick Godefroid
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2005
Aantal pagina's 292
EAN 9783540281955
ISBN 3540281959
Libristo-code 01560970
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 960
Afmetingen 155 x 235 x 17

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
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

Mini Look & Find at School (Mini Look & Find) Thierry Laval / Boek Gebonden (harde band)
common.buy 9.68 €
Across the Seasons Laura Rugel Glise / Boek Gebonden (paperback)
common.buy 19.17 €
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Boek Gebonden (paperback)
common.buy 21.09 €
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Boek Gebonden (harde band)
common.buy 208.69 €
Home On Bramble Hill Holly Martin / Luisterboek MP3
common.buy 15.03 €
Not in the Flesh Ruth Rendell / Boek Gebonden (paperback)
common.buy 15.54 €
Lakeland Lynn M. Homan / Boek Gebonden (paperback)
common.buy 20.79 €
The English Baptists John Clifford / Boek Gebonden (harde band)
common.buy 41.29 €
White Cats Book Marjo-Kaisu Niinikoski / Boek Gebonden (paperback)
common.buy 20.89 €
Gabriella's Reading Log Martha Day Zschock / Boek Gebonden (harde band)
common.buy 15.74 €
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Boek Gebonden (paperback)
common.buy 35.63 €
Lightning Strikes Stephanie Richards / Boek Gebonden (paperback)
common.buy 13.52 €
GREAT CAROLS Hal Leonard Corp / Boek Gebonden (paperback)
common.buy 13.22 €
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Boek Gebonden (paperback)
common.buy 8.88 €
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Boek Gebonden (paperback)
common.buy 14.83 €
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Boek Gebonden (paperback)
common.buy 9.99 €
Double Digit Annabel Monaghan / E-book Adobe ePub DRM
common.buy 1.81 €
Understanding FIDIC Kelvin Hughes / Boek Gebonden (harde band)
common.buy 177.60 €
Horrible Craft Book Laura Minter / Boek Gebonden (paperback)
common.buy 15.74 €
Georgian Tinatin Bolkvadze / Boek Gebonden (harde band)
common.buy 188.00 €
Fishing Holidays Stephen Gwynn / Boek Gebonden (paperback)
common.buy 24.02 €
Fist Number 6 Dean Whittington / Boek Gebonden (harde band)
common.buy 27.15 €
Hegel J. M. Fritzman / Boek Gebonden (paperback)
common.buy 28.67 €
African Women and Apartheid Rebekah Lee / Boek Gebonden (harde band)
common.buy 194.56 €

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?