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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € 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.65 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Der X-Klub (Eine Krinar Erzählung) Anna Zaires / Kniha Brožovaná
common.buy 8.08 €
Onkel Alwin und das Sams Paul Maar / Kniha Pevná
common.buy 11.92 €
Redeskriptionen horizontaler Geographien Olaf Kuhne / E-kniha Adobe ePub DRM
common.buy 107.96 €
Medizinischer Grundwortschatz Martin Trebsdorf / Kniha Brožovaná
common.buy 18.29 €
Stadt der Lebenden / Kniha Brožovaná
common.buy 14.45 €
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Kniha Brožovaná
common.buy 26.48 €
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Kniha Brožovaná
common.buy 51.65 €
EL GUERRA CIVIL EN CÓRDOBA PATRICIO HIDALGO LUQUE / Kniha Brožovaná
common.buy 25.36 €
Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Kniha Brožovaná
common.buy 41.14 €
Découvrez le SURNATUREL en VOUS!: (Psaumes Quotidiens Puissant Pour Adolescents) LeTicia Lee / Kniha Brožovaná
common.buy 18.29 €
El pacto de Reygnark Víctor López López / Kniha Brožovaná
common.buy 16.97 €

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ť

Contraception Research for Today and the Nineties G.P. Talwar / Kniha Pevná
common.buy 90.87 €
Ballet Shoes for Anna Noel Streatfeild / Kniha Brožovaná
common.buy 8.68 €
The Haunting Season for Love and Witches Isabelle Larken / Kniha Brožovaná
common.buy 19.00 €
About Face Jason White / E-kniha Adobe ePub DRM
common.buy 2.01 €
Global Logistics and Supply Chain Management Mason Harris / Kniha Pevná
common.buy 118.27 €
Ask Me Smarter! Language Arts, Social Studies, Science, and Math - Grade 3 Donna M. Roszak / Kniha Brožovaná
common.buy 11.31 €
Analysis of Images, Social Networks and Texts Wil M. P. van der Aalst / Kniha Brožovaná
common.buy 51.65 €
How To Earn Money Without Leaving The House Daniel P Richardson / Kniha Brožovaná
common.buy 10.60 €
Sex and passion Piero Palono / Kniha Brožovaná
common.buy 8.08 €
Positiverosity: 7 Golden Principles David Fox-Pitt / Kniha Brožovaná
common.buy 10.81 €
Top
Love and Other Words Christina Lauren / Kniha Brožovaná
common.buy 12.73 €
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Kniha Pevná
common.buy 18.29 €
Short History of Gardens Gordon Campbell / Kniha Pevná
common.buy 18.09 €
Early Childhood Education Radhika Viruru / Kniha Pevná
common.buy 41.24 €
Engineering and Design US Army Corps of Engineers / Kniha Brožovaná
common.buy 36.28 €
Rita and Rascal Autum Agusta / Kniha Pevná
common.buy 20.51 €
Does God Protect the Innocent? Marcel Crespil / Kniha Pevná
common.buy 31.83 €
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Kniha Pevná
common.buy 39.72 €
Television in the Antenna Age - A Concise History David Marc / Kniha Pevná
common.buy 132.73 €
Affluent Worker: Industrial Attitudes and Behaviour John H. Goldthorpe / Kniha Brožovaná
common.buy 45.89 €
Design Systems for VLSI Circuits Giovanni De Micheli / Kniha Brožovaná
common.buy 205.62 €

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ť?