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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Carte binding.
common.buy 57.97 lei
Google adwords CAUMONT / Carte Carte
common.buy 179.14 lei
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Carte Carte broșată
common.buy 90.50 lei
Curând Nou
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Carte Carte broșată
common.buy 38.68 lei
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Carte Carte broșată
common.buy 188.52 lei
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Carte Copertă tare
common.buy 130.23 lei
autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Carte Carte broșată
common.buy 115.74 lei
MES RECETTES PRÉFÉRÉES - Cahier à remplir Foodcuis' / Carte Carte broșată
common.buy 71.84 lei
BASICS Psychiatrie Anja Volz / Carte Carte broșată
common.buy 142.22 lei
ARANCINI KUNST Malle Raudsepp / Carte Carte broșată
common.buy 182.37 lei
Les cycles économiques Ferrara / Carte Carte broșată
common.buy 174.97 lei
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-book Adobe ePub DRM
common.buy 46.29 lei
El caballo, cría y manejo Enzo Berner / Carte Carte broșată
common.buy 130.96 lei
13 Gesetze der Weisheit Kim Barkmann / Carte Carte broșată
common.buy 84.87 lei
On Opened Ground Mark-Anthony Turnage / Materiale tipărite Note muzicale
common.buy 254.74 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 69.96 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.96 lei
Wall Street Options Strategy: Everyone Can Learn Covered Calls Dr Iris Marie Mack Phd / Carte Carte broșată
common.buy 57.13 lei
Autobiografía de mi madre Jamaica Kincaid / Carte Carte broșată
common.buy 116.78 lei
La Bíblia de tots Pilarín Bayés / Carte Carte broșată
common.buy 161.52 lei
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Carte Carte broșată
common.buy 236.28 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
Secure And Policy Compliant Source Routing Rahul D / Carte Carte broșată
common.buy 272.26 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 125.33 lei
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Carte Carte broșată
common.buy 127.63 lei
Sparkcharts Calculus II Sparknotes LLC / Carte Carte broșată
common.buy 35.65 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
Manual of Prayers / Carte Copertă tare
common.buy 292.91 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.41 lei
My Mother, The Liar Ann Troup / E-book Adobe ePub DRM
common.buy 32.52 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
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 95.30 lei
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Carte Carte broșată
common.buy 363.71 lei
Top
Startup CEO Matt Blumberg / Carte Copertă tare
common.buy 131.17 lei
First Generation Student Experience Jeff Davis / Carte Carte broșată
common.buy 241.92 lei
Abandon the Old in Tokyo Yoshihiro Tatsumi / Carte Carte broșată
common.buy 73.61 lei
Unpublished Opinions of the Burger Court Bernard Schwartz / Carte Copertă tare
common.buy 715.96 lei
Authority and Markets Susan Strange / Carte Carte broșată
common.buy 307.30 lei
Benzofurans A. Mustafa / Carte Copertă tare
common.buy 3 204.56 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