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

Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verification, Model Checking, and Abstract Interpretation Barbara Jobstmann
Libristo kod: 02862913
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, prosinac 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... Cijeli opis
? points 125 b
51.69 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski / Knjiga Meki uvez
common.buy 31.66 €
ESTHETIQUE MUSICALE Dubet / Knjiga Meki uvez
common.buy 18.61 €
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Igra/Igračka Igra
common.buy 24.88 €
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Knjiga Meki uvez
common.buy 6.57 €
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Knjiga Meki uvez
common.buy 30.75 €
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Audio Audio CD
common.buy 17.09 €
Edelweiss Ronnie J. C. / Knjiga Meki uvez
common.buy 13.75 €
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Knjiga Meki uvez
common.buy 109.36 €
L'Arme invisible: Les Habits Noirs IV Paul Feval / Knjiga Meki uvez
common.buy 18.71 €
Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer / Knjiga Meki uvez
common.buy 32.97 €
Antología poética Pedro Salinas / Knjiga Meki uvez
common.buy 13.35 €
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Knjiga Meki uvez
common.buy 32.06 €
Most přes řeku Styx Quirin Jedlička / Knjiga Meki uvez
common.buy 6.77 €
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Knjiga Meki uvez
common.buy 29.43 €
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Knjiga Meki uvez
common.buy 43.50 €

This book constitutes the refereed proceedings of the 17th International§Conference on Verification, Model Checking, and Abstract§Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected§from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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 Verification, Model Checking, and Abstract Interpretation
Autor Barbara Jobstmann, K. Rustan M. Leino
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 558
EAN 9783662491218
ISBN 3662491214
Libristo kod 02862913
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 866
Dimenzije 155 x 235 x 30

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Desire for Society H. G. Furth / Knjiga Tvrdi uvez
common.buy 102.99 €
Alien Next Door 6: The Mystery Valentine A. I. Newton / Knjiga Tvrdi uvez
common.buy 15.77 €
International Yearbook of Industrial Statistics 2018 UNIDO / Knjiga Tvrdi uvez
common.buy 368.99 €
Our Nation in Decline Tom Hopper / Knjiga Meki uvez
common.buy 6.77 €
Charter and Ordinances, Together with the Acts of the Legislature, Relating to the City, Rules and Orders of the City Council, and Members of City Cou Gardiner (Me ) Maine / Knjiga Meki uvez
common.buy 15.57 €
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Knjiga Tvrdi uvez
common.buy 98.13 €
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Knjiga Tvrdi uvez
common.buy 129.40 €
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Knjiga Meki uvez
common.buy 19.72 €
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Knjiga Tvrdi uvez
common.buy 31.66 €
Fanatism Dr Samar / Knjiga Meki uvez
common.buy 16.28 €
A Latin Vocabulary: Arranged On Etymological Principles As An Exercise Book And First Latin Dictionary (1848) Benjamin Hall Kennedy / Knjiga Tvrdi uvez
common.buy 37.32 €
Storytelling Phebe Cramer / Knjiga Tvrdi uvez
common.buy 94.79 €
Retreat to the Reich Samuel W. Mitcham / Knjiga Meki uvez
common.buy 16.68 €
Visit to the Farm Michael Morpurgo / Knjiga Meki uvez
common.buy 9.50 €
Maat and Ancient Egyptian Magic Mari Silva / Knjiga Tvrdi uvez
common.buy 24.58 €
Pripremamo
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Knjiga Meki uvez
common.buy 12.43 €
The Awful German Language Mark Twain / Knjiga Tvrdi uvez
common.buy 13.14 €
Night Before Christmas Clement C Moore & Corinne Malvern / Knjiga Leporelo
common.buy 6.97 €
Myth of Liberal Ascendancy G Williams Domhoff / Knjiga Meki uvez
common.buy 56.55 €
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Knjiga Tvrdi uvez
common.buy 154.39 €
Comparative Constitutional Design Tom Ginsburg / Knjiga Meki uvez
common.buy 63.93 €

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