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

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Rajeev Alur
Libristo kód: 01559563
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2004
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aide... Celý popis
? points 249 b
102.38 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Praha mapa turistických zajímavostí / Tlačovina Mapa
common.buy 3.11 €
Star Wars Animation POP! Vinyl Figure Comm Wolffe 9 cm Hra/Hračka Hračka
common.buy 21.51 €
Anvande mord som konfliktlosning Diverse / E-kniha Adobe ePub DRM
common.buy 4.01 €
Cosa Nostra John Dickie / Kniha Brožovaná
common.buy 14.88 €
To i owo tu i tam Strzałkowska Małgorzata / Kniha Pevná
common.buy 8.74 €
Couperin & Lalande : Le?ons de T'n?bres / Audio Audio CD
common.buy 22.92 €
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Kniha Brožovaná
common.buy 7.13 €
Łąka. Odkrywam dźwięki Natalia Kawałko-Dzikowska / Kniha Pevná
common.buy 10.05 €
TNM Atlas 7e JD Brierley / Kniha Brožovaná
common.buy 95.74 €
PALINODIE Giacomo LEOPARDI / Kniha Brožovaná
common.buy 8.44 €
VITICULTURE 14 PLANCHES AVEC 56 PHOTOGRAPHIES EN COULEUR Simon Jacques / Kniha Pevná
common.buy 21.51 €
Fêtes et Chansons anciennes de la Chine Marcel Granet / Kniha Brožovaná
common.buy 31.27 €
Maison la plus grande du monde (La) LIONNI / Kniha Brožovaná
common.buy 7.83 €
Adolescence, maltraitance et placement Van Hooland / Kniha Brožovaná
common.buy 19.20 €
Offizielle Softballregeln 2018-2021 Thomas Haller / Kniha Brožovaná
common.buy 7.33 €
L'imperatore dei Mondi- Libro Uno (Terra e Acqua) LUCA NAZZARRI / Kniha Brožovaná
common.buy 17.39 €
Lodní kufr Miloš Hoznauer / Kniha Pevná
common.buy 9.65 €
Código de insolvencias empresariales Rodriguez Achutegui / Kniha Brožovaná
common.buy 77.23 €
1870 -1871. Vier Bucher deutscher Geschichte Johannes Scherr / Kniha Brožovaná
common.buy 27.55 €
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Kniha Brožovaná
common.buy 11.66 €
Lacno
Harry Potter Tvory a netvory Jody Revenson / Kniha Pevná
common.buy 22.62 €

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

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 Rajeev Alur, Doron A. Peled
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2004
Počet strán 536
EAN 9783540223429
ISBN 3540223428
Libristo kód 01559563
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1700
Rozmery 155 x 233 x 30

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
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 > Informatika > Umelá inteligencia
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ť

Neuroeconomics MARTIN REUTER / Kniha Brožovaná
common.buy 163.63 €
Chasing Time F I Goldhaber / Kniha Brožovaná
common.buy 10.15 €
Managing the Moon Program NASA History Division / Kniha Brožovaná
common.buy 17.79 €
Three Musketeers Omnibus, Volume Two (six Complete and Unabridged Books in Two Volumes) Alexandre Dumas / Kniha Pevná
common.buy 78.94 €
Operatic China D. Lei / Kniha Brožovaná
common.buy 89.40 €
Bismarck - The Man and the Statesman Otto von Bismarck / Kniha Brožovaná
common.buy 28.35 €
Church of England - Charity Law and Human Rights Kerry O'Halloran / Kniha Brožovaná
common.buy 102.38 €
Women Who Move Mountains Sue Detweiler / Kniha Brožovaná
common.buy 14.77 €
Maria The Monarch Homero Aridjis / Kniha Brožovaná
common.buy 10.55 €
Happiness Andy Cope / Kniha Pevná
common.buy 15.69 €
Stories of Animal Sagacity W. H. G. Kingston / Kniha Brožovaná
common.buy 19.60 €
More Than Words Vernon Logan / Kniha Brožovaná
common.buy 16.09 €
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Kniha Brožovaná
common.buy 30.87 €
Encyclopedia of Indian Wars: Western Battles and Skirmishes, 1850-1890 Gregory F. Michno / Kniha Brožovaná
common.buy 21.62 €
Mental Health and Well-being Interventions in Sport Gavin Breslin / E-kniha Adobe ePub DRM
common.buy 65.89 €
Beginner's Guide to Create Models With CINEMA 4D R18 Studio Ravi Conor / Kniha Brožovaná
common.buy 20.81 €
Treaties in Force 2017: A List of Treaties and Other International Agreements in Force on January 1, 2017 State Dept (U S ) / Kniha Brožovaná
common.buy 65.39 €
Lacno
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Kniha Brožovaná
common.buy 2.20 €
Beyond Babar Sandra L. Beckett / E-kniha Adobe ePub DRM
common.buy 94.57 €
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Kniha Brožovaná
common.buy 15.59 €
Top
Devil's Reign Zdarsky / Kniha Brožovaná
common.buy 30.26 €
Pripravujeme
Virtual Machining Using CAMWorks 2021 Kuang-Hua Chang / Kniha Brožovaná
common.buy 75.12 €
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen / Kniha Brožovaná
common.buy 48.67 €
Embodying Health Identities A James / Kniha Brožovaná
common.buy 59.43 €

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ť?