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

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Ed Brinksma
Libristo kód: 01564506
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červenec 2002
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... 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

Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft Reina Valera 1909 / Kniha Brožovaná
common.buy 658 Kč
Tiere und ihr Zuhause Claudia Boldt / Hra/Hračka Hra
common.buy 324 Kč
¡De vacaciones! PETER KNORR / Kniha Brožovaná
common.buy 408 Kč
O Livro de Metatron - O Anjo da Presença Max Stone / Kniha Brožovaná
common.buy 359 Kč
Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins / Kniha Brožovaná
common.buy 168 Kč
Čeho bychom se měli obávat? John Brockman / Kniha Brožovaná
common.buy 266 Kč
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Kniha Brožovaná
common.buy 828 Kč
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Hra/Hračka Hra
common.buy 972 Kč
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Kniha Brožovaná
common.buy 1 603 Kč
20.000 leguas de viaje submarino Jules Verne / Kniha Pevná
common.buy 324 Kč
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Kniha Brožovaná
common.buy 855 Kč
Lean Management Andreas Kammel / Kniha Brožovaná
common.buy 972 Kč
Journal Martin du Gard / Kniha Pevná
common.buy 1 701 Kč
Magdeburger Drogenmarkt Sven Paschke / Kniha Brožovaná
common.buy 774 Kč
Cocktails Manuela Eder / Kniha Pevná
common.buy 132 Kč
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Kniha Pevná
common.buy 509 Kč
Abenteuer des schwarzen Gerard 2 Karl May / Kniha Pevná
common.buy 610 Kč
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Kniha Pevná
common.buy 687 Kč

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

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 Ed Brinksma, Kim G. Larsen
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 362
EAN 9783540439974
ISBN 3540439978
Libristo kód 01564506
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 2010
Rozměry 155 x 233 x 36

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
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
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

Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Kniha Brožovaná
common.buy 318 Kč
Introduction to Home Management Sandhya Rani Mohanty / Kniha Brožovaná
common.buy 814 Kč
Top
Let's Find Momo! Andrew Knapp / Kniha Leporelo
common.buy 231 Kč
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Kniha Pevná
common.buy 903 Kč
SAXON MATH COURSE 1 Saxpub / Kniha Pevná
common.buy 4 896 Kč
Taste of Home How Do I Make...? Editors at Taste of Home / Kniha Brožovaná
common.buy 382 Kč
Under the Gaslight Augustin Daly / Kniha Brožovaná
common.buy 287 Kč
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Kniha Brožovaná
common.buy 237 Kč
Cheerleading Kaitlyn Duling / Kniha Pevná
common.buy 763 Kč
Pediatric Dysphagia Julina Ongkasuwan / Kniha Pevná
common.buy 3 222 Kč
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Kniha Brožovaná
common.buy 293 Kč
Housing in Taiwan William D.H. Li / Kniha Pevná
common.buy 3 995 Kč
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Kniha Brožovaná
common.buy 402 Kč
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Kniha Brožovaná
common.buy 665 Kč
Hawaiian Chihuahua Ukulele Tabs / Kniha Brožovaná
common.buy 216 Kč
Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Kniha Brožovaná
common.buy 4 627 Kč
Sunkisses Larsee H Mac / Kniha Brožovaná
common.buy 341 Kč
Top
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Kniha Pevná
common.buy 444 Kč
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Kniha Brožovaná
common.buy 641 Kč
Epic Drives of the World 1 Lonely planet eng / Kniha Brožovaná
common.buy 336 Kč
Inspired Winsome James / Kniha Brožovaná
common.buy 405 Kč
Crime for the Books Kate Young / E-kniha Adobe ePub DRM
common.buy 429 Kč
Top
Eden of Witches Volume 1 YUMEJI / Kniha Brožovaná
common.buy 227 Kč
Research Methods in Publishing and Book Studies Rachel Noorda / Kniha Brožovaná
common.buy 1 354 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