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

6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Aided Verification David L. Dill
Libristo-code: 05274394
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Volledige beschrijving
? points 125 b
51.63 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Boek binding.
common.buy 11.00 €
Google adwords CAUMONT / Boek Boek
common.buy 34.04 €
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Boek Gebonden (paperback)
common.buy 17.17 €
Wordt verwacht Nieuw
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Boek Gebonden (paperback)
common.buy 6.96 €
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Boek Gebonden (paperback)
common.buy 38.30 €
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Boek Gebonden (harde band)
common.buy 24.75 €
autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Boek Gebonden (paperback)
common.buy 22.02 €
MES RECETTES PRÉFÉRÉES - Cahier à remplir Foodcuis' / Boek Gebonden (paperback)
common.buy 13.63 €
BASICS Psychiatrie Anja Volz / Boek Gebonden (paperback)
common.buy 25.66 €
ARANCINI KUNST Malle Raudsepp / Boek Gebonden (paperback)
common.buy 32.63 €
Les cycles économiques Ferrara / Boek Gebonden (paperback)
common.buy 33.24 €
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-book Adobe ePub DRM
common.buy 8.78 €
El caballo, cría y manejo Enzo Berner / Boek Gebonden (paperback)
common.buy 24.85 €
13 Gesetze der Weisheit Kim Barkmann / Boek Gebonden (paperback)
common.buy 15.25 €
On Opened Ground Mark-Anthony Turnage / Drukwerk Bladmuziek
common.buy 48.39 €
Citadino Mistico MOISES RODRIGUEZ / Boek Gebonden (paperback)
common.buy 8.38 €
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Boek Gebonden (paperback)
common.buy 15.35 €
Geschichtsbilder Jürgen Aretz / Boek Gebonden (paperback)
common.buy 14.04 €
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Boek Gebonden (paperback)
common.buy 31.22 €
Historia del mundo en el siglo XX : a través de las grandes biografías, novelas y películas Onésimo Díaz Hernández / Boek Gebonden (paperback)
common.buy 24.85 €
Wall Street Options Strategy: Everyone Can Learn Covered Calls Dr Iris Marie Mack Phd / Boek Gebonden (paperback)
common.buy 10.30 €
Autobiografía de mi madre Jamaica Kincaid / Boek Gebonden (paperback)
common.buy 22.22 €
La Bíblia de tots Pilarín Bayés / Boek Gebonden (paperback)
common.buy 30.71 €
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Boek Gebonden (paperback)
common.buy 44.96 €

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

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 David L. Dill
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1994
Aantal pagina's 486
EAN 9783540581796
ISBN 3540581790
Libristo-code 05274394
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1520
Afmetingen 155 x 235 x 26

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie
Informatica en informatietechnologie > Computer hardware > Netwerkhardware
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

Topology Optimization Martin Ph. Bendsoe / Boek Gebonden (paperback)
common.buy 143.89 €
Open Heart Surgery Carlos Robinson / Boek Gebonden (paperback)
common.buy 18.28 €
Secure And Policy Compliant Source Routing Rahul D / Boek Gebonden (paperback)
common.buy 48.90 €
Roadside History Thomas H. Appleton Jr / Boek Gebonden (paperback)
common.buy 20.30 €
Love Scrolls Edward Theodore Hayes / Boek Gebonden (harde band)
common.buy 22.83 €
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Boek Gebonden (paperback)
common.buy 23.13 €
Sparkcharts Calculus II Sparknotes LLC / Boek Gebonden (paperback)
common.buy 7.27 €
Sparky the Rescue Dog Saves the Day Gail Westover / Boek Gebonden (paperback)
common.buy 11.21 €
Broadway Michelle Young / Boek Gebonden (harde band)
common.buy 24.55 €
Manual of Prayers / Boek Gebonden (harde band)
common.buy 52.44 €
Exposition of Browning's 's Ordello' David Duff / Boek Gebonden (harde band)
common.buy 33.54 €
TOP
Golden Kamuy, Vol. 1 Satoru Noda / Boek Gebonden (paperback)
common.buy 12.62 €
My Mother, The Liar Ann Troup / E-book Adobe ePub DRM
common.buy 6.15 €
The Monastery Walter Scott / Boek Gebonden (paperback)
common.buy 24.75 €
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Boek Gebonden (paperback)
common.buy 17.47 €
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Boek Gebonden (paperback)
common.buy 19.29 €
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Boek Gebonden (paperback)
common.buy 17.17 €
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Boek Gebonden (paperback)
common.buy 72.55 €
TOP
Startup CEO Matt Blumberg / Boek Gebonden (harde band)
common.buy 26.47 €
First Generation Student Experience Jeff Davis / Boek Gebonden (paperback)
common.buy 44.05 €
Abandon the Old in Tokyo Yoshihiro Tatsumi / Boek Gebonden (paperback)
common.buy 14.84 €
Unpublished Opinions of the Burger Court Bernard Schwartz / Boek Gebonden (harde band)
common.buy 142.27 €
Authority and Markets Susan Strange / Boek Gebonden (paperback)
common.buy 61.03 €
Benzofurans A. Mustafa / Boek Gebonden (harde band)
common.buy 581.04 €

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