Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Daniel Kroening
Libristo kod: 09372112
Nakladnici Springer International Publishing AG, srpanj 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Cijeli opis
? points 125 b
51.69 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Redeskriptionen horizontaler Geographien Olaf Kuhne / E-knjiga Adobe ePub DRM
common.buy 101.88 €
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Knjiga Meki uvez
common.buy 27.81 €
Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Knjiga Meki uvez
common.buy 41.17 €
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Knjiga Meki uvez
common.buy 51.69 €
Medizinischer Grundwortschatz Martin Trebsdorf / Knjiga Meki uvez
common.buy 17.49 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computer Aided Verification
Autor Daniel Kroening, Corina S. Pasareanu
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 469
EAN 9783319216676
ISBN 3319216678
Libristo kod 09372112
Nakladnici Springer International Publishing AG
Težina 7314
Dimenzije 155 x 235 x 25

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Top
Love and Other Words Christina Lauren / Knjiga Meki uvez
common.buy 13.04 €
About Face Jason White / E-knjiga Adobe ePub DRM
common.buy 2.01 €
Analysis of Images, Social Networks and Texts Wil M. P. van der Aalst / Knjiga Meki uvez
common.buy 51.69 €
How To Earn Money Without Leaving The House Daniel P Richardson / Knjiga Meki uvez
common.buy 11.22 €
Sex and passion Piero Palono / Knjiga Meki uvez
common.buy 8.59 €
Positiverosity: 7 Golden Principles David Fox-Pitt / Knjiga Meki uvez
common.buy 10.82 €
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Knjiga Tvrdi uvez
common.buy 19.42 €
Rita and Rascal Autum Agusta / Knjiga Tvrdi uvez
common.buy 23.56 €
The Haunting Season for Love and Witches Isabelle Larken / Knjiga Meki uvez
common.buy 19.92 €
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Knjiga Tvrdi uvez
common.buy 38.24 €
Design Systems for VLSI Circuits Giovanni De Micheli / Knjiga Meki uvez
common.buy 205.79 €
Contraception Research for Today and the Nineties G.P. Talwar / Knjiga Tvrdi uvez
common.buy 86.50 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun