Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Aided Verification

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Aided Verification Daniel Kroening
Koda Libristo: 09372112
Založba Springer International Publishing AG, julij 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Celoten opis
? points 118 b
48.90 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Knjiga Mehka
common.buy 38.87 €
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Knjiga Mehka
common.buy 48.70 €
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Knjiga Mehka
common.buy 26.52 €
Stadt der Lebenden / Knjiga Mehka
common.buy 13.56 €
Medizinischer Grundwortschatz Martin Trebsdorf / Knjiga Mehka
common.buy 16.70 €
Onkel Alwin und das Sams Paul Maar / Knjiga Trda
common.buy 11.23 €
Redeskriptionen horizontaler Geographien Olaf Kuhne / E-knjiga Adobe ePub DRM
common.buy 96.70 €

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.§

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computer Aided Verification
Avtor Daniel Kroening, Corina S. Pasareanu
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2015
Število strani 469
EAN 9783319216676
ISBN 3319216678
Koda Libristo 09372112
Založba Springer International Publishing AG
Teža 7314
Mere 155 x 235 x 25

Kategorije

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer networking & communications
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Contraception Research for Today and the Nineties G.P. Talwar / Knjiga Trda
common.buy 82.01 €
The Haunting Season for Love and Witches Isabelle Larken / Knjiga Mehka
common.buy 19.03 €
About Face Jason White / E-knjiga Adobe ePub DRM
common.buy 1.81 €
Global Logistics and Supply Chain Management Mason Harris / Knjiga Trda
common.buy 118.47 €
Ask Me Smarter! Language Arts, Social Studies, Science, and Math - Grade 3 Donna M. Roszak / Knjiga Mehka
common.buy 11.33 €
Analysis of Images, Social Networks and Texts Wil M. P. van der Aalst / Knjiga Mehka
common.buy 48.90 €
How To Earn Money Without Leaving The House Daniel P Richardson / Knjiga Mehka
common.buy 10.62 €
Sex and passion Piero Palono / Knjiga Mehka
common.buy 8.09 €
Positiverosity: 7 Golden Principles David Fox-Pitt / Knjiga Mehka
common.buy 10.12 €
Top
Love and Other Words Christina Lauren / Knjiga Mehka
common.buy 12.14 €
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Knjiga Trda
common.buy 18.32 €
Rita and Rascal Autum Agusta / Knjiga Trda
common.buy 22.47 €
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Knjiga Trda
common.buy 36.24 €
Television in the Antenna Age - A Concise History David Marc / Knjiga Trda
common.buy 132.95 €
Affluent Worker: Industrial Attitudes and Behaviour John H. Goldthorpe / Knjiga Mehka
common.buy 45.96 €
Design Systems for VLSI Circuits Giovanni De Micheli / Knjiga Mehka
common.buy 194.72 €
Short History of Gardens Gordon Campbell / Knjiga Trda
common.buy 16.09 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?