Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Aided Verification

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Aided Verification David L. Dill
Koda Libristo: 05274394
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Knjiga binding.
common.buy 10.12 €
Google adwords CAUMONT / Knjiga Knjiga
common.buy 31.19 €
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Knjiga Mehka
common.buy 15.49 €
Kmalu Novo
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Knjiga Mehka
common.buy 6.57 €
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Knjiga Mehka
common.buy 31.89 €
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Knjiga Trda
common.buy 22.37 €
autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Knjiga Mehka
common.buy 19.94 €
MES RECETTES PRÉFÉRÉES - Cahier à remplir Foodcuis' / Knjiga Mehka
common.buy 12.45 €
BASICS Psychiatrie Anja Volz / Knjiga Mehka
common.buy 24.20 €
ARANCINI KUNST Malle Raudsepp / Knjiga Mehka
common.buy 30.68 €
Les cycles économiques Ferrara / Knjiga Mehka
common.buy 30.48 €
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-knjiga Adobe ePub DRM
common.buy 7.89 €
El caballo, cría y manejo Enzo Berner / Knjiga Mehka
common.buy 22.58 €
13 Gesetze der Weisheit Kim Barkmann / Knjiga Mehka
common.buy 14.37 €
On Opened Ground Mark-Anthony Turnage / Tiskani izdelki Note
common.buy 44.35 €
Citadino Mistico MOISES RODRIGUEZ / Knjiga Mehka
common.buy 8.09 €
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Knjiga Mehka
common.buy 14.47 €
Geschichtsbilder Jürgen Aretz / Knjiga Mehka
common.buy 11.84 €
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Knjiga Mehka
common.buy 29.46 €
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 / Knjiga Mehka
common.buy 22.68 €
Wall Street Options Strategy: Everyone Can Learn Covered Calls Dr Iris Marie Mack Phd / Knjiga Mehka
common.buy 9.81 €
Autobiografía de mi madre Jamaica Kincaid / Knjiga Mehka
common.buy 20.35 €
La Bíblia de tots Pilarín Bayés / Knjiga Mehka
common.buy 27.94 €
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Knjiga Mehka
common.buy 41.52 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computer Aided Verification
Avtor David L. Dill
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1994
Število strani 486
EAN 9783540581796
ISBN 3540581790
Koda Libristo 05274394
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 1520
Mere 155 x 235 x 26

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Topology Optimization Martin Ph. Bendsoe / Knjiga Mehka
common.buy 136.42 €
Open Heart Surgery Carlos Robinson / Knjiga Mehka
common.buy 17.41 €
Secure And Policy Compliant Source Routing Rahul D / Knjiga Mehka
common.buy 46.18 €
Roadside History Thomas H. Appleton Jr / Knjiga Mehka
common.buy 19.33 €
Love Scrolls Edward Theodore Hayes / Knjiga Trda
common.buy 21.77 €
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Knjiga Mehka
common.buy 22.07 €
Sparkcharts Calculus II Sparknotes LLC / Knjiga Mehka
common.buy 5.97 €
Sparky the Rescue Dog Saves the Day Gail Westover / Knjiga Mehka
common.buy 10.62 €
Broadway Michelle Young / Knjiga Trda
common.buy 23.08 €
Manual of Prayers / Knjiga Trda
common.buy 49.21 €
Exposition of Browning's 's Ordello' David Duff / Knjiga Trda
common.buy 31.89 €
Top
Golden Kamuy, Vol. 1 Satoru Noda / Knjiga Mehka
common.buy 11.03 €
My Mother, The Liar Ann Troup / E-knjiga Adobe ePub DRM
common.buy 5.56 €
The Monastery Walter Scott / Knjiga Mehka
common.buy 23.49 €
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Knjiga Mehka
common.buy 16.70 €
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Knjiga Mehka
common.buy 18.32 €
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Knjiga Mehka
common.buy 16.30 €
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Knjiga Mehka
common.buy 62.48 €
Top
Startup CEO Matt Blumberg / Knjiga Trda
common.buy 21.77 €
First Generation Student Experience Jeff Davis / Knjiga Mehka
common.buy 42.22 €
Abandon the Old in Tokyo Yoshihiro Tatsumi / Knjiga Mehka
common.buy 12.24 €
Unpublished Opinions of the Burger Court Bernard Schwartz / Knjiga Trda
common.buy 136.42 €
Authority and Markets Susan Strange / Knjiga Mehka
common.buy 53.26 €
Benzofurans A. Mustafa / Knjiga Trda
common.buy 554.11 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?