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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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 356 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Připravujeme
SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Kniha Kniha
common.buy 259 Kč
Moderno diccionario del diablo MARCIUS SHAPIRO / Kniha Pevná
common.buy 422 Kč
Lambacher Schweizer Mathematik 8. Ausgabe Thüringen / Kniha List
common.buy 296 Kč
Brest abri 668 GERARD Kniha Brožovaná
common.buy 289 Kč
BTS De la musique avant toute chose ? - Culture générale et expression - Examens 2021 et 2022 Manresa Kniha Brožovaná
common.buy 289 Kč
Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki / Kniha Brožovaná
common.buy 309 Kč
On ne parle pas aux chouchous ! Kecir-Lepetit / Kniha Brožovaná
common.buy 200 Kč
Top
Messmer winterpunsch tee, 50g Hra/Hračka Hra/Hračka
common.buy 150 Kč
Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi / Kniha Brožovaná
common.buy 1 135 Kč
Matka kuuhun / Kniha Pevná
common.buy 606 Kč
Hermeneutiken Lutz Danneberg / Kniha Pevná
common.buy 4 321 Kč
Hase und Igel Axel Scheffler / Kniha Brožovaná
common.buy 155 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 316 Kč
Praktische Rationalitat Julian Nida-Rümelin / Kniha Pevná
common.buy 3 299 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 445 Kč
Hannebambel Roland Pecher / Hra/Hračka Hra
common.buy 193 Kč
neue E-Bilanz Judith Pohler / Kniha Brožovaná
common.buy 511 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 443 Kč
When the Clouds Fell from the Sky Robert Carmichael / E-kniha Adobe ePub DRM
common.buy 106 Kč
Fenway Park David Hickey / Kniha Brožovaná
common.buy 442 Kč
The Founding Foodies Dave DeWitt / Kniha Brožovaná
common.buy 490 Kč
Manhunt: The Pursuit of Harry Tracy Bill Gulick / Kniha Brožovaná
common.buy 403 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 277 Kč
GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile / Kniha Pevná
common.buy 794 Kč
Liberal Quicksand Yves Decock / Kniha Brožovaná
common.buy 532 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 252 Kč
Scissorman Henry Chancellor / Kniha Brožovaná
common.buy 278 Kč
Third Sector Meghan Kallman / Kniha Brožovaná
common.buy 718 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 355 Kč
Dark Object Don Ledger / Kniha Brožovaná
common.buy 161 Kč
ENT MCQs for Medical Students Mannu Odutoye / Kniha Brožovaná
common.buy 1 321 Kč
Arsenic in the Environment, Part 2 J. O. Nriagu / Kniha Pevná
common.buy 7 282 Kč
Companion to 19th-Century America Barney / Kniha Brožovaná
common.buy 1 256 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?