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

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Thomas Ball
Libristo kód: 01562480
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpen 2006
This book constitutes the refereed proceedings of the 18th International Conference on Computer Aide... Celý popis
? points 249 b
2 492 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Aféra Granvillových Una-Mary Parker / Kniha Brožovaná
common.buy 319 Kč
Langenscheidt Die kulinarische Sprachreise Italienisch / Kniha Pevná
common.buy 370 Kč
HEROIS, MONSTRES I ALTRES MENTIDES DOMINGO MIQUEL / Kniha Brožovaná
common.buy 592 Kč
Cherry Bomb Tyler / Audio Audio CD
common.buy 322 Kč
FESTE LIPID-NANOPARTIKEL IN DER WUNDBEHANDLUNG Kanika Dhote / Kniha Brožovaná
common.buy 1 314 Kč
Induzione della fioritura nel pomelo mediante paclobutrazolo Mary Tess Mandantes / Kniha Brožovaná
common.buy 863 Kč
Borges. El Misterio Esencial / Borges. the Essential Mystery Willis Barnstone / Kniha Brožovaná
common.buy 366 Kč
La reina sola JORGE MOLIST / Kniha Brožovaná
common.buy 315 Kč
Microfinance: Maitriser les activités des institutions de microfinance Kawele Kouadio / Kniha Brožovaná
common.buy 341 Kč
Patient Scheidungsfamilie Helmuth Figdor / Kniha Brožovaná
common.buy 756 Kč
Amazing Spider-Man Návrat ke kořenům Nick Spencer / Kniha Brožovaná
common.buy 292 Kč
PREMIER DICTIONNAIRE DE BEBE : COULEURS ET FORMES Bout'chou / Kniha Brožovaná
common.buy 145 Kč
Verdinglichung und schulischer Leistungsprozess. Einfuhrung in die Sozialphilosophie Malte Gerhardt / Kniha Brožovaná
common.buy 392 Kč
Au Coeur De L'Afrique, 1868-1871 V2: Voyages Et Decouvertes Dans Les Regions Inexplorees De L'Afrique Centrale (1875) Georg August Schweinfurth / Kniha Brožovaná
common.buy 881 Kč
Připravujeme
Nerudův verš Jakub Říha / Kniha Brožovaná
common.buy 125 Kč
Verordnung über die Berufsausbildung zum Brenner/zur Brennerin Antiphon Verlag / Kniha Brožovaná
common.buy 290 Kč
Lieder Oswalds von Wolkenstein Burghart Wachinger / Kniha Brožovaná
common.buy 508 Kč
Etude Sur La Restauration de la Levre Inferieure, Nouveau Procede de M. Letievant BERNARD-A / Kniha Brožovaná
common.buy 358 Kč
Juegos de ingenio John Katzenbach / Kniha Brožovaná
common.buy 326 Kč
El Rubius 100% no oficial MARTINA REIS / Kniha Brožovaná
common.buy 302 Kč
Organizacja procesowa Piotr Grajewski / Kniha Brožovaná
common.buy 342 Kč
Auftakte Uwe David / Kniha Brožovaná
common.buy 409 Kč

This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.§The 35 revised full papers presented together with 10 tool papers and 4 invited papers were carefully reviewed and selected from 144 submissions adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems. The papers are organized in topical sections on automata, arithmetic, SAT and bounded model checking, abstraction/refinement, symbolic trajectory evaluation, property specification and verification, time, concurrency, trees, pushdown systems and boolean programs, termination, abstract interpretation, memory consistency, and shape analysis.

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 Thomas Ball, Robert B. Jones
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2006
Počet stran 564
EAN 9783540374060
ISBN 354037406X
Libristo kód 01562480
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1780
Rozměry 155 x 235 x 32

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 > 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 > Informatika > Umělá inteligence
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

Managing Cybersecurity Risk Jonathan Reuvid / Kniha Brožovaná
common.buy 1 015 Kč
Starling of the White House Edmund W. Starling / Kniha Brožovaná
common.buy 664 Kč
For Zion's Sake: Christian Zionism and the Role of John Nelson Darby Paul Richard Wilkinson / Kniha Brožovaná
common.buy 775 Kč
Dylan Thomas Rushworth M. Kidder / Kniha Pevná
common.buy 2 118 Kč
Inspector Jack Carter Empire Rising Mark Woodcraft / Kniha Brožovaná
common.buy 354 Kč
Intelligent Microgrid Management and EV Control Under Uncertainties in Smart Grid Ran Wang / Kniha Pevná
common.buy 2 989 Kč
Mae Madden MARY MURDOCH MASON / Kniha Pevná
common.buy 707 Kč
Assessment of Native Species and Ungulate Grazing in the Southwest: Terrestrial Wildlife United States Department of Agriculture / Kniha Brožovaná
common.buy 362 Kč
Mathematical Methods for Physics and Engineering Blennow / Kniha Brožovaná
common.buy 3 875 Kč
Positive Rules! Jennifer L. Simmonds / Kniha Brožovaná
common.buy 588 Kč
Top
Short History of England Simon (Columnist) Jenkins / Kniha Brožovaná
common.buy 280 Kč
Free Us from Bullying: Real Solutions Beyond Being Nice Paul T Coughlin / Kniha Brožovaná
common.buy 318 Kč
WILLOWS AND OTHER STORIES Algernon Blackwood / Kniha Pevná
common.buy 1 579 Kč
Conversations On The Catechism Of The Protestant Episcopal Church (1849) William Meade / Kniha Brožovaná
common.buy 619 Kč
Brooklyn Vintage Ads Vol 16 Robert a. Henriksen / Kniha Brožovaná
common.buy 485 Kč
Quality management and the strategic plan / Kniha Brožovaná
common.buy 772 Kč
Five Years On The Inside Fisher Garth D. Fisher / Kniha Brožovaná
common.buy 217 Kč
Legacy of Pope Benedict XVI Charles A. Coulombe / E-kniha Adobe ePub DRM
common.buy 237 Kč
Top
What Went Wrong With Capitalism Ruchir Sharma / Kniha Pevná
common.buy 554 Kč
Applications of Palynology in Stratigraphy and Climate Studies Bandana Samant / E-kniha Adobe ePub DRM
common.buy 3 920 Kč
Nové
Keeping Contact – Jewish Cultural Initiatives Across Cold War Borders Rebekah Klein–pejsová / Kniha Pevná
common.buy 3 185 Kč
Power in Business and the State Frank Bealey / Kniha Pevná
common.buy 3 083 Kč
Katherine Mansfield and World War One Gerri Kimber / Kniha Pevná
common.buy 2 702 Kč
Revision Notes for the Respiratory Medicine Specialty Certificate Examination Caroline (Specialty Trainee in Respiratory Medicine; North West Thames Rotation) Patterson / Kniha Brožovaná
common.buy 2 313 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?