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

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Natasha Sharygina
Libristo kod: 02075327
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... Cijeli opis
? points 249 b
102.99 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

I ja sam tu, uz vas Smriti Halls / Knjiga Tvrdi uvez
common.buy 11.63 €
Vie Abregee Du T. H. Frere Polycarpe / Knjiga Meki uvez
common.buy 15.57 €
La société patriarcale face à la résistance des femmes Resta / Knjiga Meki uvez
common.buy 32.97 €
Kumulyativnye Zaryady Oleg Minin / Knjiga Meki uvez
common.buy 80.02 €
Lebensfunken Akin Yildiz / Knjiga Meki uvez
common.buy 10.71 €
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Knjiga Meki uvez
common.buy 16.18 €
La enzima para rejuvenecer HIROMI SHINYA / Knjiga Meki uvez
common.buy 12.33 €
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Knjiga Meki uvez
common.buy 42.89 €
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Knjiga Meki uvez
common.buy 15.57 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Knjiga Tvrdi uvez
common.buy 30.85 €
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Knjiga Meki uvez
common.buy 16.08 €
Die ewige Philosophie Aldous Huxley / Knjiga Meki uvez
common.buy 19.72 €
Tatort Ägypten Arthur Conan Doyle / Knjiga Meki uvez
common.buy 17.80 €
Pripremamo
Gittertiere 1. Bd.1 Heidi Schär / Knjiga Meki uvez
common.buy 25.28 €
Pripremamo
Vegetative Physiologie Gerhard Heldmaier / Knjiga Tvrdi uvez
common.buy 47.95 €
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Knjiga Meki uvez
common.buy 85.79 €

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

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 Natasha Sharygina, Helmut Veith
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2013
Broj stranica 1015
EAN 9783642397981
ISBN 3642397980
Libristo kod 02075327
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1539
Dimenzije 155 x 235 x 56

Kategorija

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Debates in Citizenship Education James Arthur / Knjiga Meki uvez
common.buy 61.71 €
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Knjiga Meki uvez
common.buy 10.31 €
Cambridge Companion to the Musical William A. Everett / Knjiga Meki uvez
common.buy 43.60 €
The Mammals of Israel Walter W. Ferguson / Knjiga Meki uvez
common.buy 28.72 €
Spider Tapestries Mike Allen / Knjiga Meki uvez
common.buy 15.57 €
Glyph* Shiro Nishimoto / Knjiga Tvrdi uvez
common.buy 21.44 €
Khobar Towers Air Force History and Museums Program / Knjiga Meki uvez
common.buy 30.55 €
Dirty Kiss Rhys Ford / Knjiga Meki uvez
common.buy 14.76 €
The Passaic Flood of 1903 Marshall Ora Leighton / Knjiga Meki uvez
common.buy 16.79 €
Defending Objectivity Margaret Archer / Knjiga Tvrdi uvez
common.buy 209.13 €
Compagnie Irlandaise M. W. Kirwan / Knjiga Meki uvez
common.buy 24.17 €
Strategic Networking in Small High Tech Firms Mette Monsted / Knjiga Meki uvez
common.buy 35.50 €
Wizards' Country DAPHNE ROOKE / Knjiga Meki uvez
common.buy 13.95 €
Households as Corporate Firms Krislert Samphantharak / Knjiga Meki uvez
common.buy 39.75 €
Exploring Piano Classics Technique Alfred Publishing / Knjiga Meki uvez
common.buy 18.10 €
The House of Vanity Hamza Laaouamri / Knjiga Meki uvez
common.buy 15.47 €
Inequality in the Digital Economy Andrew White / Knjiga Meki uvez
common.buy 138.10 €
Impressive Robert Klanten / Knjiga Meki uvez
common.buy 46.13 €
Pripremamo Novo
The Application of GIS Technologies in the Roman Period Fernandez / Knjiga Meki uvez
common.buy 39.25 €
Decentralization and Development Partnership Fumihiko Saito / Knjiga Meki uvez
common.buy 51.69 €
Parameter Setting Thomas Roeper / Knjiga Tvrdi uvez
common.buy 167.84 €
Environmental History of Medieval Europe Richard Hoffmann / Knjiga Meki uvez
common.buy 45.12 €
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Knjiga Meki uvez
common.buy 144.37 €
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Knjiga Tvrdi uvez
common.buy 114.52 €

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