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

8th International Conference, CAV '96, New Brunswick, NJ, July 31 - August 3, 1996, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Rajeev Alur
Libristo kód: 05274597
Nakladatelství Springer, Berlin, listopad 1998
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Sobre la salvación del alma Bernard Lievegoed / Kniha Brožovaná
common.buy 376 Kč
Top
Archetypy i nieswiadomosc zbiorowa Carl Gustav Jung / Kniha Brožovaná
common.buy 590 Kč
Huhner-Malbuch 3 & 4 Nick Snels / Kniha Brožovaná
common.buy 409 Kč
Rechtschreibung - Aufbauwissen, 12 farbige A3-Poster Christian Stang / Tiskovina Plakát
common.buy 406 Kč
Les Palestiniens face ? la conqu?te sioniste (1917-1948) Cohen / Kniha Brožovaná
common.buy 764 Kč
Wechselwahler in der Bundesrepublik Deutschland. Analyse und Typenbildung Oliver Ruck / Kniha Brožovaná
common.buy 369 Kč
Aux origines d'Arsène Lupin - Ostrowski, rat d'hôtel à la Belle Époque Patrice Lajoye / Kniha Brožovaná
common.buy 723 Kč
L'Idee de Dieu Dans La Morale: These Presentee A La Faculte Des Lettres de Paris Pasty-P / Kniha Brožovaná
common.buy 651 Kč
Choses Vues: Nouvelle Serie (Ed.1900) Victor Hugo / Kniha Brožovaná
common.buy 606 Kč

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.

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 Rajeev Alur, Thomas Henzinger
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1999
Počet stran 479
EAN 9783540614746
ISBN 3540614745
Libristo kód 05274597
Nakladatelství Springer, Berlin
Váha 630
Rozměry 156 x 234 x 25

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
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 > Počítačový hardware
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

Easy Guitar Jack Johnson / Kniha Brožovaná
common.buy 479 Kč
Urban Development in India Pablo S. Bose / Kniha Pevná
common.buy 3 276 Kč
Bread and Ale for the Brethren Philip Slavin / Kniha Brožovaná
common.buy 950 Kč
Indiana's Ohio River Scenic Byway Leslie Townsend / Kniha Brožovaná
common.buy 474 Kč
Walk in My Boots - The Joy of Connecting Bonnie Ross-Parker / Kniha Brožovaná
common.buy 402 Kč
Philip Larkin and His Audiences G Steinberg / Kniha Brožovaná
common.buy 1 223 Kč
Guide to the American Revolutionary War in Canada and New England Desmarais Norman / Kniha Brožovaná
common.buy 511 Kč
Beyond the Garden Gate Marietta Loehrlein / Kniha Brožovaná
common.buy 339 Kč
Don't Call It Night Amos Oz / Kniha Brožovaná
common.buy 336 Kč
Counting Pumpkins 1 to 20. Bilingual Spanish-English: Contando Calabazas 1 al 20. Bilingüe Espa?ol-Inglés Jp Lepeley / Kniha Brožovaná
common.buy 278 Kč
Keto Meal Prep Mark Evans / Kniha Pevná
common.buy 608 Kč
Gene Delivery Yashwant Pathak / Kniha Pevná
common.buy 4 835 Kč
Quitter: Closing the Gap Between Your Day Job and Your Dream Job / Kniha Brožovaná
common.buy 288 Kč
Making Miniature Period Furniture for Dolls' Houses Angela Law / Kniha Brožovaná
common.buy 521 Kč
Cryopreservation in Assisted Reproduction Ashok Agarwal / Kniha Brožovaná
common.buy 3 222 Kč
The Rip 2026 Rian Marlowe / Kniha Brožovaná
common.buy 340 Kč
Betty Zane Zane Grey / Kniha Brožovaná
common.buy 424 Kč
Six Key Approaches to Counselling and Therapy Richard Nelson-Jones / Kniha Pevná
common.buy 2 913 Kč
Reformation in Germany C. Scott Dixon / Kniha Pevná
common.buy 2 916 Kč
Taking Stock John David Stewart / Kniha Brožovaná
common.buy 889 Kč
It'll All Be Wrong on the Night Reginald Frary / Kniha Brožovaná
common.buy 266 Kč
Role of the International Community in Domestic Politics Tsitsi Muvunzi / Kniha Brožovaná
common.buy 571 Kč
Critical Introduction to Fictionalism KOON FREDRICK / Kniha Brožovaná
common.buy 1 008 Kč
Připravujeme
African Women's Report United Nations: Economic Commission for Africa / Kniha Brožovaná
common.buy 1 103 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?