Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, júl 2002
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... Celý popis
? points 249 b
103.10 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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 27.23 €
Tiere und ihr Zuhause Claudia Boldt / Hra/Hračka Hra
common.buy 14.27 €
¡De vacaciones! PETER KNORR / Kniha Brožovaná
common.buy 16.90 €
O Livro de Metatron - O Anjo da Presença Max Stone / Kniha Brožovaná
common.buy 14.88 €
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 7.38 €
Čeho bychom se měli obávat? John Brockman / Kniha Brožovaná
common.buy 11.84 €
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Kniha Brožovaná
common.buy 34.22 €
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Hra/Hračka Hra
common.buy 42.53 €
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Kniha Brožovaná
common.buy 70.48 €
20.000 leguas de viaje submarino Jules Verne / Kniha Pevná
common.buy 13.36 €
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Kniha Brožovaná
common.buy 37.46 €
Lean Management Andreas Kammel / Kniha Brožovaná
common.buy 42.53 €
Journal Martin du Gard / Kniha Pevná
common.buy 70.38 €
Magdeburger Drogenmarkt Sven Paschke / Kniha Brožovaná
common.buy 34.02 €
Cocktails Manuela Eder / Kniha Pevná
common.buy 5.66 €
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Kniha Pevná
common.buy 22.37 €
Abenteuer des schwarzen Gerard 2 Karl May / Kniha Pevná
common.buy 26.83 €
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Kniha Pevná
common.buy 26.63 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Computer Aided Verification
Autor Ed Brinksma, Kim G. Larsen
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2002
Počet strán 362
EAN 9783540439974
ISBN 3540439978
Libristo kód 01564506
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 2010
Rozmery 155 x 233 x 36

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Kniha Brožovaná
common.buy 13.16 €
Introduction to Home Management Sandhya Rani Mohanty / Kniha Brožovaná
common.buy 35.74 €
Top
Let's Find Momo! Andrew Knapp / Kniha Leporelo
common.buy 10.22 €
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Kniha Pevná
common.buy 37.36 €
SAXON MATH COURSE 1 Saxpub / Kniha Pevná
common.buy 212.28 €
Taste of Home How Do I Make...? Editors at Taste of Home / Kniha Brožovaná
common.buy 16.70 €
Under the Gaslight Augustin Daly / Kniha Brožovaná
common.buy 12.65 €
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Kniha Brožovaná
common.buy 9.81 €
Cheerleading Kaitlyn Duling / Kniha Pevná
common.buy 33.11 €
Pediatric Dysphagia Julina Ongkasuwan / Kniha Pevná
common.buy 141.18 €
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Kniha Brožovaná
common.buy 11.33 €
Housing in Taiwan William D.H. Li / Kniha Pevná
common.buy 165.28 €
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Kniha Brožovaná
common.buy 16.60 €
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Kniha Brožovaná
common.buy 27.54 €
Hawaiian Chihuahua Ukulele Tabs / Kniha Brožovaná
common.buy 8.90 €
Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Kniha Brožovaná
common.buy 191.52 €
Sunkisses Larsee H Mac / Kniha Brožovaná
common.buy 14.07 €
Top
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Kniha Pevná
common.buy 19.64 €
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Kniha Brožovaná
common.buy 26.53 €
Top
Epic Drives of the World 1 Lonely planet eng / Kniha Brožovaná
common.buy 19.94 €
Inspired Winsome James / Kniha Brožovaná
common.buy 16.70 €
Crime for the Books Kate Young / E-kniha Adobe ePub DRM
common.buy 17.71 €
Top
Eden of Witches Volume 1 YUMEJI / Kniha Brožovaná
common.buy 10.83 €
Research Methods in Publishing and Book Studies Rachel Noorda / Kniha Brožovaná
common.buy 58.94 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet