Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computer Aided Verification

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification David L. Dill
Libristo kód: 05274394
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Celý popis
? points 125 b
51.83 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Pripravujeme Nové
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Kniha Brožovaná
common.buy 6.89 €
ANTICHE DANZE ED ARIE PER LIUTO PIANO OTTORINO RESPIGHI Kniha binding.
common.buy 24.34 €
LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Kniha binding.
common.buy 10.74 €
Google adwords CAUMONT / Kniha Kniha
common.buy 33.98 €
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Kniha Brožovaná
common.buy 17.03 €
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-kniha Adobe ePub DRM
common.buy 8.82 €
Les cycles économiques Ferrara / Kniha Brožovaná
common.buy 33.06 €
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Kniha Brožovaná
common.buy 33.98 €
How to Stay Human in a F*cked-Up World (Spanish edition) Tim Desmond / E-kniha Adobe ePub DRM
common.buy 9.93 €
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Kniha Pevná
common.buy 35.60 €
ARANCINI KUNST Malle Raudsepp / Kniha Brožovaná
common.buy 30.73 €
BASICS Psychiatrie Anja Volz / Kniha Brožovaná
common.buy 25.76 €
autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Kniha Brožovaná
common.buy 21.80 €
La Bíblia de tots Pilarín Bayés / Kniha Brožovaná
common.buy 30.73 €
13 Gesetze der Weisheit Kim Barkmann / Kniha Brožovaná
common.buy 15.31 €
Werner Herzog, 3 DVDs Werner Herzog / Video DVD
common.buy 18.96 €
On Opened Ground Mark-Anthony Turnage / Tlačovina Noty
common.buy 48.28 €
Citadino Mistico MOISES RODRIGUEZ / Kniha Brožovaná
common.buy 8.11 €
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Kniha Brožovaná
common.buy 15.41 €
Geschichtsbilder Jürgen Aretz / Kniha Brožovaná
common.buy 13.08 €
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Kniha Brožovaná
common.buy 31.34 €
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 / Kniha Brožovaná
common.buy 24.95 €
El caballo, cría y manejo Enzo Berner / Kniha Brožovaná
common.buy 24.95 €
Autobiografía de mi madre Jamaica Kincaid / Kniha Brožovaná
common.buy 22.00 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Computer Aided Verification
Autor David L. Dill
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1994
Počet strán 486
EAN 9783540581796
ISBN 3540581790
Libristo kód 05274394
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1520
Rozmery 155 x 235 x 26

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo
Výpočtové a informačné technológie > Počítačový hardvér > Sieťové zariadenia
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Topology Optimization Martin Ph. Bendsoe / Kniha Brožovaná
common.buy 144.46 €
Open Heart Surgery Carlos Robinson / Kniha Brožovaná
common.buy 17.44 €
Sparkcharts Calculus II Sparknotes LLC / Kniha Brožovaná
common.buy 6.38 €
Roadside History Thomas H. Appleton Jr / Kniha Brožovaná
common.buy 19.37 €
Love Scrolls Edward Theodore Hayes / Kniha Pevná
common.buy 21.09 €
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Kniha Brožovaná
common.buy 22.11 €
Sparky the Rescue Dog Saves the Day Gail Westover / Kniha Brožovaná
common.buy 10.64 €
Broadway Michelle Young / Kniha Pevná
common.buy 23.12 €
Top
Manual of Prayers / Kniha Pevná
common.buy 49.29 €
Handbook of Anti-Aging Medicine Mike Ks Chan / Kniha Brožovaná
common.buy 181.79 €
Exposition of Browning's 's Ordello' David Duff / Kniha Pevná
common.buy 31.95 €
Top
Golden Kamuy, Vol. 1 Satoru Noda / Kniha Brožovaná
common.buy 11.86 €
Memorials of the Civil War: Comprising the Correspondence of the Fairfax Family with the Most Distinguished Personages Engaged in That Memorable C Robert Bell / Kniha Brožovaná
common.buy 25.76 €
The Monastery Walter Scott / Kniha Brožovaná
common.buy 23.53 €
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Kniha Brožovaná
common.buy 16.73 €
My Mother, The Liar Ann Troup / E-kniha Adobe ePub DRM
common.buy 6.18 €
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Kniha Brožovaná
common.buy 18.35 €
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Kniha Brožovaná
common.buy 17.64 €
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Kniha Brožovaná
common.buy 69.18 €
Startup CEO Matt Blumberg / Kniha Pevná
common.buy 23.43 €
Secure And Policy Compliant Source Routing Rahul D / Kniha Brožovaná
common.buy 49.09 €
First Generation Student Experience Jeff Davis / Kniha Brožovaná
common.buy 46.25 €
Pripravujeme
Advanced Metallization Conference 2003 (AMC 2003): Volume 19 G. W. RayT. S. SmyT. OhtaM. Tsujimura / Kniha Pevná
common.buy 25.96 €
Harrisons Manual of Oncology 2/E Bruce Chabner / Kniha Brožovaná
common.buy 103.88 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?