Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification David L. Dill
Libristo kod: 05274394
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Cijeli opis
? points 125 b
51.65 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Knjiga Meki uvez
common.buy 20.82 €
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Knjiga Meki uvez
common.buy 16.27 €
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Knjiga Meki uvez
common.buy 33.86 €
Google adwords CAUMONT / Knjiga Knjiga
common.buy 30.92 €
How to Stay Human in a F*cked-Up World (Spanish edition) Tim Desmond / E-knjiga Adobe ePub DRM
common.buy 9.39 €
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Knjiga Tvrdi uvez
common.buy 35.47 €
Puedes Preguntar Porque Dios Responde: Todo Lo Que Querías Saber Está Aquí Norma Flores / Knjiga Meki uvez
common.buy 10.30 €
BASICS Psychiatrie Anja Volz / Knjiga Meki uvez
common.buy 25.67 €
ARANCINI KUNST Malle Raudsepp / Knjiga Meki uvez
common.buy 32.64 €
Les cycles économiques Ferrara / Knjiga Meki uvez
common.buy 31.63 €
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-knjiga Adobe ePub DRM
common.buy 8.28 €
13 Gesetze der Weisheit Kim Barkmann / Knjiga Meki uvez
common.buy 15.26 €
Top Pripremamo Novo
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Knjiga Meki uvez
common.buy 6.86 €
On Opened Ground Mark-Anthony Turnage / Tiskanica Note
common.buy 46.09 €
Citadino Mistico MOISES RODRIGUEZ / Knjiga Meki uvez
common.buy 8.38 €
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Knjiga Meki uvez
common.buy 15.36 €
Geschichtsbilder Jürgen Aretz / Knjiga Meki uvez
common.buy 12.53 €
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Knjiga Meki uvez
common.buy 31.23 €
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 Meki uvez
common.buy 22.53 €
El caballo, cría y manejo Enzo Berner / Knjiga Meki uvez
common.buy 22.33 €
Autobiografía de mi madre Jamaica Kincaid / Knjiga Meki uvez
common.buy 21.02 €
La Bíblia de tots Pilarín Bayés / Knjiga Meki uvez
common.buy 27.79 €
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Knjiga Meki uvez
common.buy 41.34 €
LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Knjiga binding.
common.buy 10.40 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computer Aided Verification
Autor David L. Dill
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1994
Broj stranica 486
EAN 9783540581796
ISBN 3540581790
Libristo kod 05274394
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1520
Dimenzije 155 x 235 x 26

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Topology Optimization Martin Ph. Bendsoe / Knjiga Meki uvez
common.buy 143.95 €
Love Scrolls Edward Theodore Hayes / Knjiga Tvrdi uvez
common.buy 21.02 €
Exposition of Browning's 's Ordello' David Duff / Knjiga Tvrdi uvez
common.buy 33.55 €
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Knjiga Meki uvez
common.buy 23.14 €
Sparkcharts Calculus II Sparknotes LLC / Knjiga Meki uvez
common.buy 6.36 €
Sparky the Rescue Dog Saves the Day Gail Westover / Knjiga Meki uvez
common.buy 11.21 €
Broadway Michelle Young / Knjiga Tvrdi uvez
common.buy 24.56 €
Aid to the MRCP PACES Volume 1 - Stations 1 and 3 4e Robert E J Ryder / Knjiga Meki uvez
common.buy 74.90 €
Top
Golden Kamuy, Vol. 1 Satoru Noda / Knjiga Meki uvez
common.buy 11.82 €
The Monastery Walter Scott / Knjiga Meki uvez
common.buy 24.76 €
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Knjiga Meki uvez
common.buy 17.48 €
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Knjiga Meki uvez
common.buy 19.30 €
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Knjiga Meki uvez
common.buy 17.58 €
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Knjiga Meki uvez
common.buy 65.70 €
Startup CEO Matt Blumberg / Knjiga Tvrdi uvez
common.buy 23.24 €
Secure And Policy Compliant Source Routing Rahul D / Knjiga Meki uvez
common.buy 48.92 €
My Mother, The Liar Ann Troup / E-knjiga Adobe ePub DRM
common.buy 5.85 €
Handbook of Anti-Aging Medicine Mike Ks Chan / Knjiga Meki uvez
common.buy 190.45 €
Manual of Prayers / Knjiga Tvrdi uvez
common.buy 52.46 €
Outlaw Planet M. R. Carey / Knjiga Meki uvez
common.buy 10.40 €
Pripremamo
God Knows His Name David Bakke / Knjiga Tvrdi uvez
common.buy 53.17 €
Drop S. R. Masters / E-knjiga Adobe ePub DRM
common.buy 7.27 €
Unpublished Opinions of the Burger Court Bernard Schwartz / Knjiga Tvrdi uvez
common.buy 136.16 €
Abandon the Old in Tokyo Yoshihiro Tatsumi / Knjiga Meki uvez
common.buy 14.95 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?