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.

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Aided Verification Tayssir Touili
Libristo-code: 01656210
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 2010
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aide... Volledige beschrijving
? points 280 b
115.74 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

TOP
Plastic Hearts Miley Cyrus / Audio Audio cd
common.buy 15.37 €
Ravensburger 24578 - Mystery Cube - Wunder der Welt: Sphinx- Für Rätsel-Begeisterte ab 10 Jahren / Spel/speelgoed Spel
common.buy 6.36 €
Orta in giallo Erica Gibogini / Boek Gebonden (paperback)
common.buy 13.75 €
Flockies Krokodýl Camila - sběratelská figurka 5 cm / Spel/speelgoed Speelgoed
common.buy 4.54 €
Vitametrie® Joachim Heuser / Boek Gebonden (paperback)
common.buy 17.90 €
A Business Proposal n? 03 Narak / Boek Gebonden (paperback)
common.buy 19.82 €
Inklusive Schule und Vielfalt Gottfried Biewer / Boek Gebonden (paperback)
common.buy 22.45 €
Macrobiotica Zen: El arte del rejuvenecimiento y de la longevidad Georges Ohsawa / Boek Gebonden (paperback)
common.buy 14.76 €
Aktuátorok modellezése és diagnosztikája mesterséges intelligenciával Viktor Füvesi / Boek Gebonden (paperback)
common.buy 46.33 €
El Banco Mundial, el Fondo Monetario Internacional y los derechos humanos María Eugenia López-Jacoiste Díaz / Boek Gebonden (paperback)
common.buy 56.45 €
Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen / Boek Gebonden (paperback)
common.buy 48.15 €
Julian Assange, De la ética hacker a Wikileaks Gianluca Costantini / Boek Gebonden (paperback)
common.buy 19.01 €
Israel Gerrit Michel / Boek Gebonden (paperback)
common.buy 52.60 €
Borkum einst und jetzt B. Huismann / Boek Gebonden (paperback)
common.buy 16.18 €
Hermann von Salza Heinrich Hävernick / Boek Gebonden (paperback)
common.buy 22.35 €
Neue Briefe Wilhelm Von Humboldts an Schiller 1796-1803 Wilhelm von Humboldt / Boek Gebonden (paperback)
common.buy 40.16 €
Personalabrechnung Auf Den Punkt Marianne Kiepe / Boek Gebonden (paperback)
common.buy 75.37 €

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks and 3 invited tutorials were carefully reviewed and selected from 101 regular paper and 44 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for hardware and software systems. They are organized in topical sections on software model checking; model checking and automata; tools; counter and hybrid systems verification; memory consistency; verification of hardware and low level code; synthesis; concurrent program verification; compositional reasoning; and decision procedures.

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 Computer Aided Verification
Auteur Tayssir Touili, Byron Cook, Paul Jackson
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 676
EAN 9783642142949
ISBN 364214294X
Libristo-code 01656210
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 961
Afmetingen 155 x 238 x 28

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Computer hardware > Netwerkhardware
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 > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Informatica: algemene onderwerpen
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

Spatial Analysis and GeoComputation Manfred M. Fischer / Boek Gebonden (paperback)
common.buy 102.99 €
Speech Prosody in Speech Synthesis: Modeling and generation of prosody for high quality and flexible speech synthesis Keikichi Hirose / Boek Gebonden (harde band)
common.buy 113.31 €
Far Pavilions M. M. Kaye / Boek Gebonden (paperback)
common.buy 19.32 €
C++ Reactive Programming Peter Abraham / Boek Gebonden (paperback)
common.buy 49.67 €
More Than a Great Wedding 2: Creating Healthy Communities Where Relationships Thrive Daryl L Smith / Boek Gebonden (paperback)
common.buy 8.59 €
Early Bicycles and the Quest for Speed Andrew Ritchie / Boek Gebonden (paperback)
common.buy 45.01 €
Finishers' Manual - Containing the Receipts of an Expert for Finishing the Bottoms of Boots and Shoe, as Well as Other Valuable Information E. T. Thayer / Boek Gebonden (paperback)
common.buy 17.09 €
TOP
Moult and Ageing of European Passerines Lukas Jenni / Boek Gebonden (harde band)
common.buy 98.23 €
Practical Guide to Managing Clinical Trials Pfeiffer / Boek Gebonden (paperback)
common.buy 72.13 €
Golden Chain Algis Uzdavinys / E-book Adobe ePub DRM
common.buy 39.45 €
Euro-Orientalism Ezequiel Adamovsky / Boek Gebonden (paperback)
common.buy 95.30 €
Kid's Box New Generation Level 1 Posters British English Caroline Nixon / Drukwerk Poster
common.buy 26.09 €
By His grace STEVE FRY / Drukwerk Bladmuziek
common.buy 6.87 €
Sorceress Claudia Gray / Boek Gebonden (paperback)
common.buy 11.52 €
Coercion and Conciliation in Ireland 1880-1892 Lewis Perry Curtis / Boek Gebonden (paperback)
common.buy 68.29 €
English Lyric from Wyatt to Donne Douglas L. Peterson / Boek Gebonden (paperback)
common.buy 57.46 €
Public Health Mini-Guides: Obesity Nick Townsend / Boek Gebonden (paperback)
common.buy 19.62 €
There's a Lion in My Cornflakes Michelle Robinson / Boek Gebonden (paperback)
common.buy 9.30 €
Leading and Implementing Business Change Management David J Jones / Boek Gebonden (harde band)
common.buy 209.13 €
Mathematical Aspects of Paradoxes in Cosmology Michal Krízek / Boek Gebonden (harde band)
common.buy 154.39 €
City and the Court 1603-1643 Robert Ashton / Boek Gebonden (paperback)
common.buy 45.12 €
Lumbar Spinal Stenosis Franco Postacchini / Boek Gebonden (paperback)
common.buy 102.99 €
Czech Contemporary Art Guide Lucie Ševčíková / Boek Gebonden (paperback)
common.buy 1.81 €

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