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.

Verification, Model Checking, and Abstract Interpretation

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Verification, Model Checking, and Abstract Interpretation Barbara Jobstmann
Koda Libristo: 02862913
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... 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

Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski / Knjiga Mehka
common.buy 30.06 €
ESTHETIQUE MUSICALE Dubet / Knjiga Mehka
common.buy 17.81 €
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Igra/Igrača Igra
common.buy 23.48 €
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Knjiga Mehka
common.buy 6.07 €
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Knjiga Mehka
common.buy 29.25 €
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Zvok Zvočni CD
common.buy 16.09 €
Edelweiss Ronnie J. C. / Knjiga Mehka
common.buy 13.05 €
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Knjiga Mehka
common.buy 103.88 €
L'Arme invisible: Les Habits Noirs IV Paul Feval / Knjiga Mehka
common.buy 17.71 €
Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer / Knjiga Mehka
common.buy 31.08 €
Antología poética Pedro Salinas / Knjiga Mehka
common.buy 12.65 €
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Knjiga Mehka
common.buy 30.27 €
Most přes řeku Styx Quirin Jedlička / Knjiga Mehka
common.buy 6.37 €
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Knjiga Mehka
common.buy 27.74 €
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Knjiga Mehka
common.buy 41.10 €

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.

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 Verification, Model Checking, and Abstract Interpretation
Avtor Barbara Jobstmann, K. Rustan M. Leino
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2015
Število strani 558
EAN 9783662491218
ISBN 3662491214
Koda Libristo 02862913
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 866
Mere 155 x 235 x 30

Kategorije

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

Desire for Society H. G. Furth / Knjiga Trda
common.buy 97.51 €
Alien Next Door 6: The Mystery Valentine A. I. Newton / Knjiga Trda
common.buy 14.88 €
International Yearbook of Industrial Statistics 2018 UNIDO / Knjiga Trda
common.buy 350.76 €
Our Nation in Decline Tom Hopper / Knjiga Mehka
common.buy 6.37 €
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 Mehka
common.buy 14.67 €
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Knjiga Trda
common.buy 98.21 €
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Knjiga Trda
common.buy 122.52 €
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Knjiga Mehka
common.buy 18.93 €
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Knjiga Trda
common.buy 30.06 €
Fanatism Dr Samar / Knjiga Mehka
common.buy 15.58 €
A Latin Vocabulary: Arranged On Etymological Principles As An Exercise Book And First Latin Dictionary (1848) Benjamin Hall Kennedy / Knjiga Trda
common.buy 35.53 €
Storytelling Phebe Cramer / Knjiga Trda
common.buy 90.92 €
Retreat to the Reich Samuel W. Mitcham / Knjiga Mehka
common.buy 15.79 €
Visit to the Farm Michael Morpurgo / Knjiga Mehka
common.buy 9.10 €
Maat and Ancient Egyptian Magic Mari Silva / Knjiga Trda
common.buy 23.08 €
Kmalu
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Knjiga Mehka
common.buy 11.84 €
The Awful German Language Mark Twain / Knjiga Trda
common.buy 12.34 €
Night Before Christmas Clement C Moore & Corinne Malvern / Knjiga Kartonka
common.buy 6.57 €
Myth of Liberal Ascendancy G Williams Domhoff / Knjiga Mehka
common.buy 54.06 €
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Knjiga Trda
common.buy 146.11 €
Comparative Constitutional Design Tom Ginsburg / Knjiga Mehka
common.buy 61.05 €

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?