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

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 1998
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Moderno diccionario del diablo MARCIUS SHAPIRO / Kniha Pevná
common.buy 426 Kč
Připravujeme
SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Kniha Kniha
common.buy 288 Kč
Lambacher Schweizer Mathematik 8. Ausgabe Thüringen / Kniha List
common.buy 296 Kč
Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki / Kniha Brožovaná
common.buy 309 Kč
Brest abri 668 GERARD Kniha Brožovaná
common.buy 317 Kč
BTS De la musique avant toute chose ? - Culture générale et expression - Examens 2021 et 2022 Manresa Kniha Brožovaná
common.buy 317 Kč
Messmer winterpunsch tee, 50g Hra/Hračka Hračka
common.buy 171 Kč
Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi / Kniha Brožovaná
common.buy 1 135 Kč
On ne parle pas aux chouchous ! Kecir-Lepetit / Kniha Brožovaná
common.buy 204 Kč
Hermeneutiken Lutz Danneberg / Kniha Pevná
common.buy 4 323 Kč
Hase und Igel Axel Scheffler / Kniha Brožovaná
common.buy 152 Kč
Bu Benim.Zip Asli Serin / Kniha Brožovaná
common.buy 256 Kč
Familienunternehmen im Nachfolgeprozess Frank A. Halter / Kniha Brožovaná
common.buy 1 259 Kč
Le Soldat Magicien: Opera-Comique En 1 Acte Louis Anseaume / Kniha Brožovaná
common.buy 358 Kč
100 Abenteuerreisen Rudolf S Rehberg / Kniha Brožovaná
common.buy 794 Kč
Strategien der Identitätssuche Iris Julia Gütler / Kniha Brožovaná
common.buy 1 451 Kč
Hannebambel Roland Pecher / Hra/Hračka Hra
common.buy 193 Kč
neue E-Bilanz Judith Pohler / Kniha Brožovaná
common.buy 512 Kč

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 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 Alan J. Hu, Moshe Y. Vardi
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1998
Počet stran 552
EAN 9783540646082
ISBN 3540646086
Libristo kód 05274836
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 720
Rozměry 156 x 234 x 29

Kategorie

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

Selected Articles on Social Insurance. Multiple Contributors / Kniha Brožovaná
common.buy 833 Kč
Study of the Effect of Incandescent Gas-Light on Plant Growth Lee C. Corbett / Kniha Brožovaná
common.buy 267 Kč
Kept for Jesus Sam Storms / Kniha Brožovaná
common.buy 432 Kč
Liberal Quicksand Yves Decock / Kniha Brožovaná
common.buy 591 Kč
Fenway Park David Hickey / Kniha Brožovaná
common.buy 474 Kč
The Founding Foodies Dave DeWitt / Kniha Brožovaná
common.buy 479 Kč
Manhunt: The Pursuit of Harry Tracy Bill Gulick / Kniha Brožovaná
common.buy 393 Kč
Long Challenge: The Empowerment Controversy (1967-1977) Victor H. Carpenter / Kniha Brožovaná
common.buy 294 Kč
Principles of Marketing Philip T. Kotler / Kniha Pevná
common.buy 6 112 Kč
GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile / Kniha Pevná
common.buy 794 Kč
When the Clouds Fell from the Sky Robert Carmichael / E-kniha Adobe ePub DRM
common.buy 106 Kč
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 654 Kč
THE CHORDATES HERBERT W. 187 RAND / Kniha Brožovaná
common.buy 837 Kč
Uncovered Ian Birch / Kniha Pevná
common.buy 1 282 Kč
Third Sector Meghan Kallman / Kniha Brožovaná
common.buy 611 Kč
Orson Welles Chris Wade / Kniha Brožovaná
common.buy 360 Kč
Decarbonising The World's Economy: Assessing The Feasibility Of Policies To Reduce Greenhouse Gas Emissions Douglas Crawford-Brown / Kniha Pevná
common.buy 3 276 Kč
Quantum Mechanics and the Philosophy of Alfred North Whitehead Michael Epperson / Kniha Brožovaná
common.buy 941 Kč
Challenge of Democratic Representation in the European Union Sandra Kroger / Kniha Pevná
common.buy 1 352 Kč
Dark Object Don Ledger / Kniha Brožovaná
common.buy 158 Kč
ENT MCQs for Medical Students Mannu Odutoye / Kniha Brožovaná
common.buy 1 259 Kč
Arsenic in the Environment, Part 2 J. O. Nriagu / Kniha Pevná
common.buy 7 089 Kč
Companion to 19th-Century America Barney / Kniha Brožovaná
common.buy 1 302 Kč
Vegan Family Meals Ann Gentry / Kniha Pevná
common.buy 522 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?