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 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € 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.63 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Kniha binding.
common.buy 11.00 €
Google adwords CAUMONT / Kniha Kniha
common.buy 34.04 €
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Kniha Brožovaná
common.buy 17.17 €
Pripravujeme Nové
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Kniha Brožovaná
common.buy 6.96 €
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Kniha Brožovaná
common.buy 33.84 €
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Kniha Pevná
common.buy 24.75 €
autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Kniha Brožovaná
common.buy 22.02 €
MES RECETTES PRÉFÉRÉES - Cahier à remplir Foodcuis' / Kniha Brožovaná
common.buy 13.63 €
BASICS Psychiatrie Anja Volz / Kniha Brožovaná
common.buy 25.66 €
ARANCINI KUNST Malle Raudsepp / Kniha Brožovaná
common.buy 30.61 €
Les cycles économiques Ferrara / Kniha Brožovaná
common.buy 33.24 €
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-kniha Adobe ePub DRM
common.buy 8.78 €
El caballo, cría y manejo Enzo Berner / Kniha Brožovaná
common.buy 24.85 €
13 Gesetze der Weisheit Kim Barkmann / Kniha Brožovaná
common.buy 15.25 €
On Opened Ground Mark-Anthony Turnage / Tlačovina Noty
common.buy 48.39 €
Citadino Mistico MOISES RODRIGUEZ / Kniha Brožovaná
common.buy 8.07 €
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Kniha Brožovaná
common.buy 15.35 €
Geschichtsbilder Jürgen Aretz / Kniha Brožovaná
common.buy 13.33 €
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Kniha Brožovaná
common.buy 31.22 €
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.85 €
Wall Street Options Strategy: Everyone Can Learn Covered Calls Dr Iris Marie Mack Phd / Kniha Brožovaná
common.buy 9.79 €
Autobiografía de mi madre Jamaica Kincaid / Kniha Brožovaná
common.buy 22.22 €
La Bíblia de tots Pilarín Bayés / Kniha Brožovaná
common.buy 30.71 €
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Kniha Brožovaná
common.buy 44.96 €

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 143.89 €
Open Heart Surgery Carlos Robinson / Kniha Brožovaná
common.buy 17.37 €
Secure And Policy Compliant Source Routing Rahul D / Kniha Brožovaná
common.buy 48.90 €
Roadside History Thomas H. Appleton Jr / Kniha Brožovaná
common.buy 19.29 €
Love Scrolls Edward Theodore Hayes / Kniha Pevná
common.buy 21.72 €
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Kniha Brožovaná
common.buy 22.02 €
Sparkcharts Calculus II Sparknotes LLC / Kniha Brožovaná
common.buy 6.36 €
Sparky the Rescue Dog Saves the Day Gail Westover / Kniha Brožovaná
common.buy 10.60 €
Broadway Michelle Young / Kniha Pevná
common.buy 23.03 €
Manual of Prayers / Kniha Pevná
common.buy 49.10 €
Exposition of Browning's 's Ordello' David Duff / Kniha Pevná
common.buy 31.82 €
Top
Golden Kamuy, Vol. 1 Satoru Noda / Kniha Brožovaná
common.buy 11.81 €
My Mother, The Liar Ann Troup / E-kniha Adobe ePub DRM
common.buy 6.15 €
The Monastery Walter Scott / Kniha Brožovaná
common.buy 23.43 €
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Kniha Brožovaná
common.buy 16.66 €
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Kniha Brožovaná
common.buy 18.28 €
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Kniha Brožovaná
common.buy 17.17 €
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Kniha Brožovaná
common.buy 69.11 €
Top
Startup CEO Matt Blumberg / Kniha Pevná
common.buy 23.33 €
First Generation Student Experience Jeff Davis / Kniha Brožovaná
common.buy 42.13 €
Abandon the Old in Tokyo Yoshihiro Tatsumi / Kniha Brožovaná
common.buy 13.13 €
Unpublished Opinions of the Burger Court Bernard Schwartz / Kniha Pevná
common.buy 136.11 €
Authority and Markets Susan Strange / Kniha Brožovaná
common.buy 55.77 €
Benzofurans A. Mustafa / Kniha Pevná
common.buy 552.85 €

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