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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
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.69 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Knjiga binding.
common.buy 10.51 €
Google adwords CAUMONT / Knjiga Knjiga
common.buy 32.57 €
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Knjiga Meki uvez
common.buy 16.38 €
Pripremamo Novo
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Knjiga Meki uvez
common.buy 6.97 €
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Knjiga Meki uvez
common.buy 33.88 €
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Knjiga Tvrdi uvez
common.buy 23.56 €
autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Knjiga Meki uvez
common.buy 20.93 €
MES RECETTES PRÉFÉRÉES - Cahier à remplir Foodcuis' / Knjiga Meki uvez
common.buy 13.14 €
BASICS Psychiatrie Anja Volz / Knjiga Meki uvez
common.buy 25.69 €
ARANCINI KUNST Malle Raudsepp / Knjiga Meki uvez
common.buy 32.67 €
Les cycles économiques Ferrara / Knjiga Meki uvez
common.buy 31.86 €
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-knjiga Adobe ePub DRM
common.buy 8.39 €
El caballo, cría y manejo Enzo Berner / Knjiga Meki uvez
common.buy 23.77 €
13 Gesetze der Weisheit Kim Barkmann / Knjiga Meki uvez
common.buy 15.27 €
On Opened Ground Mark-Anthony Turnage / Tiskanica Note
common.buy 46.33 €
Citadino Mistico MOISES RODRIGUEZ / Knjiga Meki uvez
common.buy 8.39 €
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Knjiga Meki uvez
common.buy 15.37 €
Geschichtsbilder Jürgen Aretz / Knjiga Meki uvez
common.buy 12.54 €
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Knjiga Meki uvez
common.buy 31.25 €
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 23.77 €
Wall Street Options Strategy: Everyone Can Learn Covered Calls Dr Iris Marie Mack Phd / Knjiga Meki uvez
common.buy 10.31 €
Autobiografía de mi madre Jamaica Kincaid / Knjiga Meki uvez
common.buy 21.24 €
La Bíblia de tots Pilarín Bayés / Knjiga Meki uvez
common.buy 29.33 €
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Knjiga Meki uvez
common.buy 43.19 €

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 144.07 €
Open Heart Surgery Carlos Robinson / Knjiga Meki uvez
common.buy 18.30 €
Secure And Policy Compliant Source Routing Rahul D / Knjiga Meki uvez
common.buy 48.96 €
Roadside History Thomas H. Appleton Jr / Knjiga Meki uvez
common.buy 20.33 €
Love Scrolls Edward Theodore Hayes / Knjiga Tvrdi uvez
common.buy 22.86 €
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Knjiga Meki uvez
common.buy 23.16 €
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.22 €
Broadway Michelle Young / Knjiga Tvrdi uvez
common.buy 24.58 €
Manual of Prayers / Knjiga Tvrdi uvez
common.buy 52.50 €
Exposition of Browning's 's Ordello' David Duff / Knjiga Tvrdi uvez
common.buy 33.58 €
Top
Golden Kamuy, Vol. 1 Satoru Noda / Knjiga Meki uvez
common.buy 11.83 €
My Mother, The Liar Ann Troup / E-knjiga Adobe ePub DRM
common.buy 5.86 €
The Monastery Walter Scott / Knjiga Meki uvez
common.buy 24.78 €
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Knjiga Meki uvez
common.buy 17.49 €
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Knjiga Meki uvez
common.buy 19.32 €
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Knjiga Meki uvez
common.buy 17.19 €
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Knjiga Meki uvez
common.buy 65.86 €
Top
Startup CEO Matt Blumberg / Knjiga Tvrdi uvez
common.buy 23.36 €
First Generation Student Experience Jeff Davis / Knjiga Meki uvez
common.buy 44.10 €
Abandon the Old in Tokyo Yoshihiro Tatsumi / Knjiga Meki uvez
common.buy 13.14 €
Unpublished Opinions of the Burger Court Bernard Schwartz / Knjiga Tvrdi uvez
common.buy 136.28 €
Authority and Markets Susan Strange / Knjiga Meki uvez
common.buy 55.84 €
Benzofurans A. Mustafa / Knjiga Tvrdi uvez
common.buy 581.76 €

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