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

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

TNM Atlas 7e JD Brierley / Kniha Brožovaná
common.buy 102.68 €
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Kniha Brožovaná
common.buy 8.67 €
Nadchodzi III wojna światowa. Czy Ameryka porzuci Polskę na pastwę Rosji? wyd. 2022 Jacek Bartosiak / Kniha Pevná
common.buy 12.91 €
Cosa Nostra John Dickie / Kniha Brožovaná
common.buy 14.53 €
Praha mapa turistických zajímavostí / Tlačovina Mapa
common.buy 2.21 €
PALINODIE Giacomo LEOPARDI / Kniha Brožovaná
common.buy 9.68 €
Fêtes et Chansons anciennes de la Chine Marcel Granet / Kniha Brožovaná
common.buy 32.50 €
Maison la plus grande du monde (La) LIONNI / Kniha Brožovaná
common.buy 9.08 €
Adolescence, maltraitance et placement Van Hooland / Kniha Brožovaná
common.buy 19.28 €
Offizielle Softballregeln 2018-2021 Thomas Haller / Kniha Brožovaná
common.buy 7.36 €
Código de insolvencias empresariales Rodriguez Achutegui / Kniha Brožovaná
common.buy 77.74 €
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Kniha Brožovaná
common.buy 11.70 €
Lacno
Harry Potter Tvory a netvory Jody Revenson / Kniha Pevná
common.buy 21.50 €

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 164.27 €
Second Language Teacher Education Diane J. Tedick / Kniha Brožovaná
common.buy 88.54 €
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Kniha Brožovaná
common.buy 15.64 €
Lacno
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Kniha Brožovaná
common.buy 2.21 €
Chasing Time F I Goldhaber / Kniha Brožovaná
common.buy 10.19 €
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Kniha Brožovaná
common.buy 33.71 €
More Than Words Vernon Logan / Kniha Brožovaná
common.buy 16.15 €
Stories of Animal Sagacity W. H. G. Kingston / Kniha Brožovaná
common.buy 19.68 €
Happiness Andy Cope / Kniha Pevná
common.buy 15.74 €
Maria The Monarch Homero Aridjis / Kniha Brožovaná
common.buy 12.91 €
Women Who Move Mountains Sue Detweiler / Kniha Brožovaná
common.buy 14.83 €
Church of England - Charity Law and Human Rights Kerry O'Halloran / Kniha Brožovaná
common.buy 102.78 €
Top
Devil's Reign Zdarsky / Kniha Brožovaná
common.buy 26.85 €
Operatic China D. Lei / Kniha Brožovaná
common.buy 91.57 €
Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia / Kniha Pevná
common.buy 31.19 €
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.86 €
Interpretations of Native North American Life Michael S. Nassaney / Kniha Brožovaná
common.buy 28.36 €
Generations on the Land Joe Nick Patoski / Kniha Pevná
common.buy 22.81 €
Making Schools Different Kitty te Riele / Kniha Pevná
common.buy 119.74 €
Pure Cute Beverly West / Kniha Pevná
common.buy 9.68 €
Swahili Grammar and Workbook Fid?le Mpiranya / Kniha Brožovaná
common.buy 80.66 €
Exam Essentials: Cambridge First Practice Tests 1 w/key + DV Charles Osborne / Kniha Pevná
common.buy 46.03 €
Top
Grounded George Brant / Kniha Brožovaná
common.buy 16.55 €
Beyond Babar Sandra L. Beckett / E-kniha Adobe ePub DRM
common.buy 94.19 €

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