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

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Alan J. Hu
Libristo kód: 05274836
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 1998
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided... 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

Moderno diccionario del diablo MARCIUS SHAPIRO / Kniha Pevná
common.buy 17.56 €
Pripravujeme
SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Kniha Kniha
common.buy 11.90 €
Lambacher Schweizer Mathematik 8. Ausgabe Thüringen / Kniha List
common.buy 12.81 €
Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki / Kniha Brožovaná
common.buy 13.52 €
Brest abri 668 GERARD Kniha Brožovaná
common.buy 13.12 €
BTS De la musique avant toute chose ? - Culture générale et expression - Examens 2021 et 2022 Manresa Kniha Brožovaná
common.buy 13.12 €
Messmer winterpunsch tee, 50g Hra/Hračka Hračka
common.buy 7.06 €
Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi / Kniha Brožovaná
common.buy 49.77 €
On ne parle pas aux chouchous ! Kecir-Lepetit / Kniha Brožovaná
common.buy 8.37 €
Hermeneutiken Lutz Danneberg / Kniha Pevná
common.buy 188.20 €
Hase und Igel Axel Scheffler / Kniha Brožovaná
common.buy 6.65 €
Bu Benim.Zip Asli Serin / Kniha Brožovaná
common.buy 11.20 €
Familienunternehmen im Nachfolgeprozess Frank A. Halter / Kniha Brožovaná
common.buy 55.22 €
Le Soldat Magicien: Opera-Comique En 1 Acte Louis Anseaume / Kniha Brožovaná
common.buy 14.73 €
100 Abenteuerreisen Rudolf S Rehberg / Kniha Brožovaná
common.buy 34.82 €
Strategien der Identitätssuche Iris Julia Gütler / Kniha Brožovaná
common.buy 59.86 €
Hannebambel Roland Pecher / Hra/Hračka Hra
common.buy 8.47 €
neue E-Bilanz Judith Pohler / Kniha Brožovaná
common.buy 22.41 €

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

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 Alan J. Hu, Moshe Y. Vardi
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1998
Počet strán 552
EAN 9783540646082
ISBN 3540646086
Libristo kód 05274836
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 720
Rozmery 156 x 234 x 29

Kategórie

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ť

Selected Articles on Social Insurance. Multiple Contributors / Kniha Brožovaná
common.buy 34.32 €
Study of the Effect of Incandescent Gas-Light on Plant Growth Lee C. Corbett / Kniha Brožovaná
common.buy 11.70 €
Kept for Jesus Sam Storms / Kniha Brožovaná
common.buy 17.86 €
Liberal Quicksand Yves Decock / Kniha Brožovaná
common.buy 24.32 €
Fenway Park David Hickey / Kniha Brožovaná
common.buy 19.58 €
The Founding Foodies Dave DeWitt / Kniha Brožovaná
common.buy 20.89 €
Manhunt: The Pursuit of Harry Tracy Bill Gulick / Kniha Brožovaná
common.buy 17.15 €
Long Challenge: The Empowerment Controversy (1967-1977) Victor H. Carpenter / Kniha Brožovaná
common.buy 12.11 €
Principles of Marketing Philip T. Kotler / Kniha Pevná
common.buy 252.11 €
GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile / Kniha Pevná
common.buy 32.70 €
When the Clouds Fell from the Sky Robert Carmichael / E-kniha Adobe ePub DRM
common.buy 4.33 €
Precedents in Conveyancing: A Collection of Forms of Assurances of Real and Personal Property Adapted to the Present State of the Law ... Volume 4 S Vallis Bone / Kniha Brožovaná
common.buy 26.95 €
THE CHORDATES HERBERT W. 187 RAND / Kniha Brožovaná
common.buy 34.52 €
Uncovered Ian Birch / Kniha Pevná
common.buy 52.90 €
Third Sector Meghan Kallman / Kniha Brožovaná
common.buy 25.23 €
Orson Welles Chris Wade / Kniha Brožovaná
common.buy 14.83 €
Decarbonising The World's Economy: Assessing The Feasibility Of Policies To Reduce Greenhouse Gas Emissions Douglas Crawford-Brown / Kniha Pevná
common.buy 135.19 €
Quantum Mechanics and the Philosophy of Alfred North Whitehead Michael Epperson / Kniha Brožovaná
common.buy 38.76 €
Challenge of Democratic Representation in the European Union Sandra Kroger / Kniha Pevná
common.buy 55.73 €
Dark Object Don Ledger / Kniha Brožovaná
common.buy 6.55 €
ENT MCQs for Medical Students Mannu Odutoye / Kniha Brožovaná
common.buy 54.61 €
Arsenic in the Environment, Part 2 J. O. Nriagu / Kniha Pevná
common.buy 292.40 €
Companion to 19th-Century America Barney / Kniha Brožovaná
common.buy 56.84 €
Vegan Family Meals Ann Gentry / Kniha Pevná
common.buy 22.81 €

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