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

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Daniel Kroening
Libristo kód: 09372112
Nakladateľstvo Springer International Publishing AG, júl 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Redeskriptionen horizontaler Geographien Olaf Kuhne / E-kniha Adobe ePub DRM
common.buy 106.84 €
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Kniha Brožovaná
common.buy 26.53 €
Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Kniha Brožovaná
common.buy 41.21 €
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Kniha Brožovaná
common.buy 51.75 €
Medizinischer Grundwortschatz Martin Trebsdorf / Kniha Brožovaná
common.buy 18.32 €

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

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 Daniel Kroening, Corina S. Pasareanu
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2015
Počet strán 469
EAN 9783319216676
ISBN 3319216678
Libristo kód 09372112
Nakladateľstvo Springer International Publishing AG
Váha 7314
Rozmery 155 x 235 x 25

Kategórie

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
Výpočtové a informačné technológie > Operačné systémy
Výpočtové a informačné technológie > Počítačové siete a komunikácia
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ť

Top
Love and Other Words Christina Lauren / Kniha Brožovaná
common.buy 13.06 €
About Face Jason White / E-kniha Adobe ePub DRM
common.buy 2.02 €
Analysis of Images, Social Networks and Texts Wil M. P. van der Aalst / Kniha Brožovaná
common.buy 51.75 €
How To Earn Money Without Leaving The House Daniel P Richardson / Kniha Brožovaná
common.buy 10.62 €
Sex and passion Piero Palono / Kniha Brožovaná
common.buy 8.09 €
Positiverosity: 7 Golden Principles David Fox-Pitt / Kniha Brožovaná
common.buy 10.83 €
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Kniha Pevná
common.buy 18.32 €
Rita and Rascal Autum Agusta / Kniha Pevná
common.buy 22.47 €
The Haunting Season for Love and Witches Isabelle Larken / Kniha Brožovaná
common.buy 19.03 €
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Kniha Pevná
common.buy 40.20 €
Affluent Worker: Industrial Attitudes and Behaviour John H. Goldthorpe / Kniha Brožovaná
common.buy 45.97 €
Design Systems for VLSI Circuits Giovanni De Micheli / Kniha Brožovaná
common.buy 206.00 €
Contraception Research for Today and the Nineties G.P. Talwar / Kniha Pevná
common.buy 91.04 €

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
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?