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.

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

Retourneren binnen 30 dagen

Klanten kochten ook

autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Boek Gebonden (paperback)
common.buy 22.06 €
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Boek Gebonden (paperback)
common.buy 17.20 €
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Boek Gebonden (paperback)
common.buy 33.91 €
Google adwords CAUMONT / Boek Boek
common.buy 34.12 €
How to Stay Human in a F*cked-Up World (Spanish edition) Tim Desmond / E-book Adobe ePub DRM
common.buy 9.91 €
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Boek Gebonden (harde band)
common.buy 24.80 €
Puedes Preguntar Porque Dios Responde: Todo Lo Que Querías Saber Está Aquí Norma Flores / Boek Gebonden (paperback)
common.buy 10.32 €
MES RECETTES PRÉFÉRÉES - Cahier à remplir Foodcuis' / Boek Gebonden (paperback)
common.buy 13.66 €
BASICS Psychiatrie Anja Volz / Boek Gebonden (paperback)
common.buy 25.71 €
ARANCINI KUNST Malle Raudsepp / Boek Gebonden (paperback)
common.buy 32.70 €
Les cycles économiques Ferrara / Boek Gebonden (paperback)
common.buy 33.30 €
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-book Adobe ePub DRM
common.buy 8.80 €
13 Gesetze der Weisheit Kim Barkmann / Boek Gebonden (paperback)
common.buy 15.28 €
Wordt verwacht Nieuw
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Boek Gebonden (paperback)
common.buy 6.98 €
On Opened Ground Mark-Anthony Turnage / Drukwerk Bladmuziek
common.buy 48.49 €
Citadino Mistico MOISES RODRIGUEZ / Boek Gebonden (paperback)
common.buy 8.39 €
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Boek Gebonden (paperback)
common.buy 15.38 €
Geschichtsbilder Jürgen Aretz / Boek Gebonden (paperback)
common.buy 13.26 €
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Boek Gebonden (paperback)
common.buy 31.28 €
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.90 €
El caballo, cría y manejo Enzo Berner / Boek Gebonden (paperback)
common.buy 24.90 €
Autobiografía de mi madre Jamaica Kincaid / Boek Gebonden (paperback)
common.buy 22.27 €
La Bíblia de tots Pilarín Bayés / Boek Gebonden (paperback)
common.buy 30.77 €
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Boek Gebonden (paperback)
common.buy 45.05 €

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 144.19 €
Love Scrolls Edward Theodore Hayes / Boek Gebonden (harde band)
common.buy 22.88 €
Exposition of Browning's 's Ordello' David Duff / Boek Gebonden (harde band)
common.buy 33.61 €
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Boek Gebonden (paperback)
common.buy 23.18 €
Sparkcharts Calculus II Sparknotes LLC / Boek Gebonden (paperback)
common.buy 6.77 €
Sparky the Rescue Dog Saves the Day Gail Westover / Boek Gebonden (paperback)
common.buy 11.23 €
Broadway Michelle Young / Boek Gebonden (harde band)
common.buy 24.60 €
Aid to the MRCP PACES Volume 1 - Stations 1 and 3 4e Robert E J Ryder / Boek Gebonden (paperback)
common.buy 78.77 €
TOP
Golden Kamuy, Vol. 1 Satoru Noda / Boek Gebonden (paperback)
common.buy 11.84 €
The Monastery Walter Scott / Boek Gebonden (paperback)
common.buy 24.80 €
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Boek Gebonden (paperback)
common.buy 17.51 €
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Boek Gebonden (paperback)
common.buy 19.33 €
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Boek Gebonden (paperback)
common.buy 17.20 €
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Boek Gebonden (paperback)
common.buy 69.25 €
TOP
Startup CEO Matt Blumberg / Boek Gebonden (harde band)
common.buy 24.90 €
Secure And Policy Compliant Source Routing Rahul D / Boek Gebonden (paperback)
common.buy 49.00 €
My Mother, The Liar Ann Troup / E-book Adobe ePub DRM
common.buy 6.17 €
Handbook of Anti-Aging Medicine Mike Ks Chan / Boek Gebonden (paperback)
common.buy 190.77 €
Manual of Prayers / Boek Gebonden (harde band)
common.buy 52.54 €
TOP Nieuw
Outlaw Planet M. R. Carey / Boek Gebonden (paperback)
common.buy 10.42 €
Wordt verwacht
God Knows His Name David Bakke / Boek Gebonden (harde band)
common.buy 56.29 €
Drop S. R. Masters / E-book Adobe ePub DRM
common.buy 7.69 €
Unpublished Opinions of the Burger Court Bernard Schwartz / Boek Gebonden (harde band)
common.buy 142.57 €
Abandon the Old in Tokyo Yoshihiro Tatsumi / Boek Gebonden (paperback)
common.buy 14.07 €

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?