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.99 €
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 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.30 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Die Transformatoren R. Küchler / Boek Paperback
common.buy 76.63 €
Šťastie na prenájom Lucia Braunová / Boek Paperback
common.buy 7.23 €
Global Tools (1973-1975) / Boek Gebonden
common.buy 41.23 €
Wordt verwacht
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Spel/speelgoed Speelgoed
common.buy 81.36 €
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / E-book Adobe ePub DRM
common.buy 2.71 €
Ineos Grenadier Jörg Sand / Boek Gebonden
common.buy 14.37 €
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Boek Paperback
common.buy 20.11 €
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 Paperback
common.buy 7.23 €
Les plus belles parties d'échecs de Paul Morphy Reinfeld / Boek Paperback
common.buy 18.19 €
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Boek Paperback
common.buy 6.23 €
TOP
SLOVO BUDHOVO Nyánatiloka Maháthera / Boek Boek
common.buy 7.53 €
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Boek Paperback
common.buy 10.85 €
La Region Mas Transparente Carlos Fuentes / Boek Paperback
common.buy 17.99 €
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Boek Paperback
common.buy 42.55 €
Histoire de Jerusalem Amand Biechy / Boek Paperback
common.buy 20.21 €
Aronia - Das heimische Superfood Tanja Braune / Boek Paperback
common.buy 15.98 €
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Boek Paperback
common.buy 28.25 €
Passwort Logbuch Uwe H. Sültz / Boek Paperback
common.buy 5.02 €
TOP
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Boek Paperback
common.buy 18.50 €
TOP
Les Petits Loustics Hugues Denisot / Boek Paperback
common.buy 14.17 €
Ingenieurbauführer Berlin Roland May / Boek Paperback
common.buy 25.13 €
Main de fer et gant de velours Virginie Platel / Boek Paperback
common.buy 29.06 €
En Ovantad flykt till Sverige Tadesse Kassa / Boek Paperback
common.buy 10.85 €

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 - 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

A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Boek Paperback
common.buy 14.78 €
Lightning Strikes Stephanie Richards / Boek Paperback
common.buy 13.47 €
Across the Seasons Laura Rugel Glise / Boek Paperback
common.buy 16.28 €
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Boek Paperback
common.buy 19.80 €
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Boek Paperback
common.buy 35.39 €
Not in the Flesh Ruth Rendell / Boek Paperback
common.buy 15.48 €
Lakeland Lynn M. Homan / Boek Paperback
common.buy 21.21 €
White Cats Book Marjo-Kaisu Niinikoski / Boek Paperback
common.buy 20.81 €
Gabriella's Reading Log Martha Day Zschock / Boek Gebonden
common.buy 15.68 €
Mini Look & Find at School (Mini Look & Find) Thierry Laval / Boek Gebonden
common.buy 9.65 €
GREAT CAROLS Hal Leonard Corp / Boek Paperback
common.buy 13.77 €
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Boek Paperback
common.buy 8.84 €
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Boek Gebonden
common.buy 243.08 €
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Boek Paperback
common.buy 9.95 €
Circle Mosaics Coloring Book 2: Cute Animals Coloring Pages Color by Number Puzzle for Adults Kodomo Publishing / Boek Paperback
common.buy 8.64 €
Horrible Craft Book Laura Minter / Boek Paperback
common.buy 15.68 €
Georgian Tinatin Bolkvadze / Boek Gebonden
common.buy 197.62 €
Fishing Holidays Stephen Gwynn / Boek Paperback
common.buy 23.93 €
Fist Number 6 Dean Whittington / Boek Gebonden
common.buy 26.94 €
Understanding FIDIC Kelvin Hughes / Boek Gebonden
common.buy 197.62 €
Double Digit Annabel Monaghan / E-book Adobe ePub DRM
common.buy 9.65 €
Home On Bramble Hill Holly Martin / Luisterboek MP3
common.buy 15.08 €
Illustrated Tales of Warwickshire S. C. Skillman / Boek Paperback
common.buy 16.99 €
Roughing the Pastor "Rev" / Boek Paperback
common.buy 12.26 €

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?