Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Kniha binding.
common.buy 267 Kč
Google adwords CAUMONT / Kniha Kniha
common.buy 825 Kč
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Kniha Brožovaná
common.buy 417 Kč
Připravujeme Nové
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Kniha Brožovaná
common.buy 158 Kč
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Kniha Brožovaná
common.buy 772 Kč
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Kniha Pevná
common.buy 600 Kč
autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Kniha Brožovaná
common.buy 533 Kč
MES RECETTES PRÉFÉRÉES - Cahier à remplir Foodcuis' / Kniha Brožovaná
common.buy 331 Kč
BASICS Psychiatrie Anja Volz / Kniha Brožovaná
common.buy 586 Kč
ARANCINI KUNST Malle Raudsepp / Kniha Brožovaná
common.buy 741 Kč
Les cycles économiques Ferrara / Kniha Brožovaná
common.buy 806 Kč
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-kniha Adobe ePub DRM
common.buy 213 Kč
El caballo, cría y manejo Enzo Berner / Kniha Brožovaná
common.buy 603 Kč
13 Gesetze der Weisheit Kim Barkmann / Kniha Brožovaná
common.buy 348 Kč
On Opened Ground Mark-Anthony Turnage / Tiskovina Noty
common.buy 1 173 Kč
Citadino Mistico MOISES RODRIGUEZ / Kniha Brožovaná
common.buy 195 Kč
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Kniha Brožovaná
common.buy 349 Kč
Geschichtsbilder Jürgen Aretz / Kniha Brožovaná
common.buy 322 Kč
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Kniha Brožovaná
common.buy 711 Kč
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 603 Kč
Wall Street Options Strategy: Everyone Can Learn Covered Calls Dr Iris Marie Mack Phd / Kniha Brožovaná
common.buy 237 Kč
Autobiografía de mi madre Jamaica Kincaid / Kniha Brožovaná
common.buy 538 Kč
La Bíblia de tots Pilarín Bayés / Kniha Brožovaná
common.buy 744 Kč
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Kniha Brožovaná
common.buy 1 088 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Computer Aided Verification
Autor David L. Dill
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1994
Počet stran 486
EAN 9783540581796
ISBN 3540581790
Libristo kód 05274394
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1520
Rozměry 155 x 235 x 26

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Topology Optimization Martin Ph. Bendsoe / Kniha Brožovaná
common.buy 3 297 Kč
Open Heart Surgery Carlos Robinson / Kniha Brožovaná
common.buy 422 Kč
Secure And Policy Compliant Source Routing Rahul D / Kniha Brožovaná
common.buy 1 115 Kč
Roadside History Thomas H. Appleton Jr / Kniha Brožovaná
common.buy 467 Kč
Love Scrolls Edward Theodore Hayes / Kniha Pevná
common.buy 526 Kč
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Kniha Brožovaná
common.buy 533 Kč
Sparkcharts Calculus II Sparknotes LLC / Kniha Brožovaná
common.buy 154 Kč
Sparky the Rescue Dog Saves the Day Gail Westover / Kniha Brožovaná
common.buy 258 Kč
Broadway Michelle Young / Kniha Pevná
common.buy 558 Kč
Manual of Prayers / Kniha Pevná
common.buy 1 190 Kč
Exposition of Browning's 's Ordello' David Duff / Kniha Pevná
common.buy 772 Kč
Top
Golden Kamuy, Vol. 1 Satoru Noda / Kniha Brožovaná
common.buy 267 Kč
My Mother, The Liar Ann Troup / E-kniha Adobe ePub DRM
common.buy 150 Kč
The Monastery Walter Scott / Kniha Brožovaná
common.buy 568 Kč
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Kniha Brožovaná
common.buy 403 Kč
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Kniha Brožovaná
common.buy 444 Kč
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Kniha Brožovaná
common.buy 393 Kč
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Kniha Brožovaná
common.buy 1 675 Kč
Top
Startup CEO Matt Blumberg / Kniha Pevná
common.buy 527 Kč
First Generation Student Experience Jeff Davis / Kniha Brožovaná
common.buy 1 020 Kč
Abandon the Old in Tokyo Yoshihiro Tatsumi / Kniha Brožovaná
common.buy 296 Kč
Unpublished Opinions of the Burger Court Bernard Schwartz / Kniha Pevná
common.buy 3 147 Kč
Authority and Markets Susan Strange / Kniha Brožovaná
common.buy 1 352 Kč
Benzofurans A. Mustafa / Kniha Pevná
common.buy 13 391 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet