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

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Orna Grumberg
Libristo kód: 05274713
Nakladateľstvo Springer, Berlin, november 1996
This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... 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

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo / Kniha Brožovaná
common.buy 24.85 €
Arkham Horror: Lovecraft Letter Zman / Hra/Hračka Hra
common.buy 17.47 €
Textes et Monuments Figures Relatifs aux Mysteres de Mithra, Tome Premier Franz Valery Marie Cumont / Kniha Brožovaná
common.buy 32.53 €
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Kniha Brožovaná
common.buy 25.15 €
Handbuch Alzheimer-Krankheit Frank Jessen / E-kniha Adobe ePub DRM
common.buy 153.39 €
Tierna obsesion Marisa Estrada Barquet / Kniha Brožovaná
common.buy 11.51 €
Patron Oro Calderon Ivan Calderon / Kniha Brožovaná
common.buy 12.32 €
Luz Herrera Goya / Kniha Brožovaná
common.buy 11.91 €
Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel / Kniha Brožovaná
common.buy 17.88 €
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Kniha Brožovaná
common.buy 9.19 €
Una storia dovunque Prezioso Sclano / Kniha Brožovaná
common.buy 14.54 €
Ley de Contratos / Kniha Brožovaná
common.buy 27.07 €
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Kniha Brožovaná
common.buy 57.79 €
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Audio Audio CD
common.buy 12.62 €
Nuove storie d'ogni colore Emilio De Marchi / Kniha Brožovaná
common.buy 13.53 €
Mehrkomponentenvertrage Benedikt Weisser / Kniha Brožovaná
common.buy 33.94 €
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Kniha Pevná
common.buy 25.76 €
Un éternel prisonnier Dominique Henry / Kniha Brožovaná
common.buy 19.80 €
AEsthetik nach Wittgenstein Yves Bossart / Kniha Pevná
common.buy 173.50 €
Primiracconti Luisa Brisi / Kniha Brožovaná
common.buy 5.65 €

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

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 Orna Grumberg
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1997
Počet strán 492
EAN 9783540631668
ISBN 3540631666
Libristo kód 05274713
Nakladateľstvo Springer, Berlin
Váha 654
Rozmery 156 x 234 x 25

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 > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach
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
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ť

Embedded Software and Systems Man Lin / Kniha Brožovaná
common.buy 109.23 €
Advances in Exception Handling Techniques Alexander Romanovsky / Kniha Brožovaná
common.buy 51.63 €
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Kniha Brožovaná
common.buy 30.00 €
Tessili Rogue Robin Stephen / Kniha Brožovaná
common.buy 8.98 €
Impinging Streams Sakamon Devahastin / Kniha Brožovaná
common.buy 59.91 €
Pennycomequicks. a Novel. Sabine Baring-Gould / Kniha Brožovaná
common.buy 21.51 €
Clasicos Modernos ANA MARIA MATUTE / Kniha Brožovaná
common.buy 12.02 €
Getting to Grips with BIM Graham Paterson / Kniha Brožovaná
common.buy 71.84 €
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Kniha Brožovaná
common.buy 16.66 €
Degree Gradation of Verbs Jens Fleischhauer / Kniha Brožovaná
common.buy 39.70 €
Extremism And Reformation David Myatt / Kniha Brožovaná
common.buy 7.27 €
Chinese Culture in Globalization Rugang Lu / Kniha Brožovaná
common.buy 49.91 €
The Lay of Lirazel Stephen R Babb / Kniha Brožovaná
common.buy 12.32 €
Talks James E. Potter / Kniha Brožovaná
common.buy 22.02 €
Speed of Light and the Simplicity RICHARD CLOUGH / Kniha Pevná
common.buy 28.28 €
Belief and Evangelism DOUGLAS VICKERS / Kniha Pevná
common.buy 30.61 €
Top
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Kniha Krúžková
common.buy 20.30 €
Running the Show Gill / Kniha Brožovaná
common.buy 56.78 €
Narrating the Rise of Big Business in the USA Anne Mayhew / Kniha Pevná
common.buy 234.33 €
Mathematical Puzzles Peter Winkler / Kniha Brožovaná
common.buy 35.16 €
Anglais - pour s'amuser à parler anglais ! Stéphanie Bioret / Kniha Brožovaná
common.buy 13.03 €
Cat Got Your Tongue? SHAW HANNAH / Kniha Pevná
common.buy 12.22 €
Selections with Key Clare West / Kniha Brožovaná
common.buy 25.25 €
Grammar and Style Michael Dummett / Kniha Brožovaná
common.buy 31.82 €

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