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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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 125 b
51.76 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Knjiga Mehka
common.buy 19.85 €
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Knjiga Mehka
common.buy 15.49 €
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Knjiga Mehka
common.buy 31.90 €
Google adwords CAUMONT / Knjiga Knjiga
common.buy 30.99 €
How to Stay Human in a F*cked-Up World (Spanish edition) Tim Desmond / E-knjiga Adobe ePub DRM
common.buy 8.90 €
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Knjiga Trda
common.buy 33.52 €
Puedes Preguntar Porque Dios Responde: Todo Lo Que Querías Saber Está Aquí Norma Flores / Knjiga Mehka
common.buy 9.82 €
BASICS Psychiatrie Anja Volz / Knjiga Mehka
common.buy 25.72 €
ARANCINI KUNST Malle Raudsepp / Knjiga Mehka
common.buy 30.69 €
Les cycles économiques Ferrara / Knjiga Mehka
common.buy 30.28 €
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-knjiga Adobe ePub DRM
common.buy 7.89 €
13 Gesetze der Weisheit Kim Barkmann / Knjiga Mehka
common.buy 15.29 €
Top Kmalu Novo
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Knjiga Mehka
common.buy 6.88 €
On Opened Ground Mark-Anthony Turnage / Tiskani izdelki Note
common.buy 44.16 €
Citadino Mistico MOISES RODRIGUEZ / Knjiga Mehka
common.buy 8.09 €
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Knjiga Mehka
common.buy 14.48 €
Geschichtsbilder Jürgen Aretz / Knjiga Mehka
common.buy 11.74 €
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Knjiga Mehka
common.buy 29.47 €
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.58 €
El caballo, cría y manejo Enzo Berner / Knjiga Mehka
common.buy 22.38 €
Autobiografía de mi madre Jamaica Kincaid / Knjiga Mehka
common.buy 20.15 €
La Bíblia de tots Pilarín Bayés / Knjiga Mehka
common.buy 27.85 €
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Knjiga Mehka
common.buy 41.42 €
LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Knjiga binding.
common.buy 9.92 €

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 144.25 €
Love Scrolls Edward Theodore Hayes / Knjiga Trda
common.buy 21.06 €
Exposition of Browning's 's Ordello' David Duff / Knjiga Trda
common.buy 31.90 €
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.87 €
Sparky the Rescue Dog Saves the Day Gail Westover / Knjiga Mehka
common.buy 10.63 €
Broadway Michelle Young / Knjiga Trda
common.buy 23.09 €
Aid to the MRCP PACES Volume 1 - Stations 1 and 3 4e Robert E J Ryder / Knjiga Mehka
common.buy 75.06 €
Top
Golden Kamuy, Vol. 1 Satoru Noda / Knjiga Mehka
common.buy 11.03 €
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.33 €
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Knjiga Mehka
common.buy 16.70 €
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Knjiga Mehka
common.buy 62.49 €
Startup CEO Matt Blumberg / Knjiga Trda
common.buy 21.77 €
Secure And Policy Compliant Source Routing Rahul D / Knjiga Mehka
common.buy 49.02 €
My Mother, The Liar Ann Troup / E-knjiga Adobe ePub DRM
common.buy 5.56 €
Handbook of Anti-Aging Medicine Mike Ks Chan / Knjiga Mehka
common.buy 181.53 €
Manual of Prayers / Knjiga Trda
common.buy 49.22 €
Outlaw Planet M. R. Carey / Knjiga Mehka
common.buy 10.42 €
Kmalu
God Knows His Name David Bakke / Knjiga Trda
common.buy 50.54 €
Drop S. R. Masters / E-knjiga Adobe ePub DRM
common.buy 6.88 €
Unpublished Opinions of the Burger Court Bernard Schwartz / Knjiga Trda
common.buy 136.45 €
Top
Abandon the Old in Tokyo Yoshihiro Tatsumi / Knjiga Mehka
common.buy 13.97 €

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?