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.

Model Checking Software

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Model Checking Software Jaco C. van de Pol
Libristo-code: 01656755
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Volledige beschrijving
? points 142 b
58.63 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Star Wars Hidden Empire T02 / Boek Gebonden (paperback)
common.buy 21.66 €
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Kalender/agenda Kalender
common.buy 54.28 €
Be Kind (Nepali-English) Livia Lemgruber / Boek Gebonden (paperback)
common.buy 17.41 €
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Kalender/agenda Agenda
common.buy 10.83 €
Den Libanon lieben lernen Laura Ziegler / Boek Gebonden (paperback)
common.buy 7.38 €
Diamante Nero Victoria Quinn / Boek Gebonden (paperback)
common.buy 15.79 €
Die besten Aufstriche selbst gemacht Charly Till / Boek Gebonden (paperback)
common.buy 8.60 €
Textanfänge Ulrike Krieg-Holz / Boek Gebonden (paperback)
common.buy 47.09 €
Raketa Hravá kniha pro děti collegium / Boek Gebonden (paperback)
common.buy 12.85 €
Nach dem bewaffneten Kampf Angelika Holderberg / Boek Gebonden (paperback)
common.buy 9.61 €
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Boek Gebonden (paperback)
common.buy 13.66 €
Uzniki Razuma Tat'yana Volkova / Boek Gebonden (paperback)
common.buy 52.45 €

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

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 Jaco C. van de Pol, Michael Weber
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 263
EAN 9783642161636
ISBN 3642161634
Libristo-code 01656755
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 421
Afmetingen 159 x 235 x 18

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
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 > 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

Sword Song Sal Quartuccio / Boek Gebonden (paperback)
common.buy 20.45 €
Myofascial Induction (TM) Andrzej Pilat / Boek Gebonden (harde band)
common.buy 159.51 €
Down the Highway: The Life of Bob Dylan Howard Sounes / Boek Gebonden (paperback)
common.buy 17.31 €
The Shadow Lily Johanna Mo / Boek Gebonden (paperback)
common.buy 14.88 €
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Boek Gebonden (paperback)
common.buy 7.28 €
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Boek Gebonden (paperback)
common.buy 13.66 €
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Boek Gebonden (paperback)
common.buy 7.48 €
History of Wyoming; Volume 1 Ichabod S. Bartlett / Boek Gebonden (paperback)
common.buy 31.69 €
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Boek Gebonden (paperback)
common.buy 14.68 €
Shadowless Alison Robinson / Boek Gebonden (harde band)
common.buy 18.02 €
Harbor Knight Ralph A Garcia / Boek Gebonden (paperback)
common.buy 15.79 €
Best Is Always... Still Yet to Come! Keith Payne / Boek Gebonden (paperback)
common.buy 17.21 €
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Boek Gebonden (harde band)
common.buy 43.95 €
Tour to London Pierre Jean Grosley / Boek Gebonden (paperback)
common.buy 27.23 €
Boxer's Bible of Counterpunching Mark Hatmaker / Boek Gebonden (paperback)
common.buy 11.33 €

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?