Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Computer Aided Verification

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

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification David L. Dill
Codul Libristo: 05274394
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Curând Nou
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Carte Carte broșată
common.buy 38.47 lei
ANTICHE DANZE ED ARIE PER LIUTO PIANO OTTORINO RESPIGHI Carte binding.
common.buy 127.42 lei
LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Carte binding.
common.buy 56.20 lei
Google adwords CAUMONT / Carte Carte
common.buy 178.30 lei
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Carte Carte broșată
common.buy 89.04 lei
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-book Adobe ePub DRM
common.buy 45.98 lei
Les cycles économiques Ferrara / Carte Carte broșată
common.buy 173.30 lei
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Carte Carte broșată
common.buy 188.52 lei
How to Stay Human in a F*cked-Up World (Spanish edition) Tim Desmond / E-book Adobe ePub DRM
common.buy 51.92 lei
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Carte Copertă tare
common.buy 196.76 lei
ARANCINI KUNST Malle Raudsepp / Carte Carte broșată
common.buy 182.37 lei
BASICS Psychiatrie Anja Volz / Carte Carte broșată
common.buy 142.22 lei
autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Carte Carte broșată
common.buy 114.17 lei
La Bíblia de tots Pilarín Bayés / Carte Carte broșată
common.buy 160.89 lei
13 Gesetze der Weisheit Kim Barkmann / Carte Carte broșată
common.buy 84.87 lei
Werner Herzog, 3 DVDs Werner Herzog / Videoclip DVD
common.buy 104.27 lei
On Opened Ground Mark-Anthony Turnage / Materiale tipărite Note muzicale
common.buy 252.76 lei
Citadino Mistico MOISES RODRIGUEZ / Carte Carte broșată
common.buy 46.50 lei
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Carte Carte broșată
common.buy 85.29 lei
Geschichtsbilder Jürgen Aretz / Carte Carte broșată
common.buy 68.60 lei
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Carte Carte broșată
common.buy 173.72 lei
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 / Carte Carte broșată
common.buy 130.55 lei
El caballo, cría y manejo Enzo Berner / Carte Carte broșată
common.buy 130.55 lei
Autobiografía de mi madre Jamaica Kincaid / Carte Carte broșată
common.buy 115.11 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computer Aided Verification
Autor David L. Dill
Limba engleză
Legare Carte - Carte broșată
Data publicării 1994
Număr pagini 486
EAN 9783540581796
ISBN 3540581790
Codul Libristo 05274394
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1520
Dimensiuni 155 x 235 x 26

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Topology Optimization Martin Ph. Bendsoe / Carte Carte broșată
common.buy 798.03 lei
Open Heart Surgery Carlos Robinson / Carte Carte broșată
common.buy 100.51 lei
Sparkcharts Calculus II Sparknotes LLC / Carte Carte broșată
common.buy 35.65 lei
Roadside History Thomas H. Appleton Jr / Carte Carte broșată
common.buy 111.78 lei
Love Scrolls Edward Theodore Hayes / Carte Copertă tare
common.buy 110.73 lei
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Carte Carte broșată
common.buy 127.63 lei
Sparky the Rescue Dog Saves the Day Gail Westover / Carte Carte broșată
common.buy 61.93 lei
Broadway Michelle Young / Carte Copertă tare
common.buy 137.22 lei
Top
Manual of Prayers / Carte Copertă tare
common.buy 292.91 lei
Handbook of Anti-Aging Medicine Mike Ks Chan / Carte Carte broșată
common.buy 1 049.97 lei
Exposition of Browning's 's Ordello' David Duff / Carte Copertă tare
common.buy 184.77 lei
Top
Golden Kamuy, Vol. 1 Satoru Noda / Carte Carte broșată
common.buy 66.21 lei
Memorials of the Civil War: Comprising the Correspondence of the Fairfax Family with the Most Distinguished Personages Engaged in That Memorable C Robert Bell / Carte Carte broșată
common.buy 152.86 lei
The Monastery Walter Scott / Carte Carte broșată
common.buy 136.59 lei
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Carte Carte broșată
common.buy 96.86 lei
My Mother, The Liar Ann Troup / E-book Adobe ePub DRM
common.buy 32.52 lei
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Carte Carte broșată
common.buy 106.56 lei
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Carte Carte broșată
common.buy 97.91 lei
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Carte Carte broșată
common.buy 362.25 lei
Startup CEO Matt Blumberg / Carte Copertă tare
common.buy 131.17 lei
Secure And Policy Compliant Source Routing Rahul D / Carte Carte broșată
common.buy 272.26 lei
First Generation Student Experience Jeff Davis / Carte Carte broșată
common.buy 264.75 lei
Curând
Advanced Metallization Conference 2003 (AMC 2003): Volume 19 G. W. RayT. S. SmyT. OhtaM. Tsujimura / Carte Copertă tare
common.buy 135.76 lei
Harrisons Manual of Oncology 2/E Bruce Chabner / Carte Carte broșată
common.buy 568.93 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?