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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verification, Model Checking, and Abstract Interpretation

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Libristo kod: 15560990
Nakladnici Springer International Publishing AG, siječanj 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Cijeli opis
? points 125 b
51.55 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Batman - Svět Různí / Knjiga Tvrdi uvez
common.buy 23.40 €
Pripremamo
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST / Knjiga Knjiga
common.buy 82.73 €
Praha / Knjiga Meki uvez
common.buy 1.60 €
Os animais tem alma? ERNESTO BOZZANO / Knjiga Meki uvez
common.buy 13.01 €
MEURTRIERS SANS VISAGE Henning Mankell / Knjiga Meki uvez
common.buy 14.02 €
LA NOBLEZA DE LAS FLORES 8 SAKA MIKAMI / Knjiga Knjiga
common.buy 9.17 €
manuale delle piste ciclabili e della ciclabilità. Ideare, pianificare, progettare, promuovere e gestire le infrastrutture ciclabili Sergio Deromedis / Knjiga Meki uvez
common.buy 50.65 €
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD / Knjiga Tvrdi uvez
common.buy 61.75 €
2 CHANS. POPULAIRES CHT CHANT BLAS SANCHEZ Knjiga binding.
common.buy 9.68 €
Satires Contre Les Astronomes MERCIER-L-S / Knjiga Meki uvez
common.buy 13.61 €
Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro / Knjiga Meki uvez
common.buy 5.04 €
Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir / Knjiga Meki uvez
common.buy 44.39 €
Vícevrstvá vkládačka Geometrické tvary 4v1 / Igra/Igračka Puzzle
common.buy 12.50 €
Feelgood-Management Ulrike Weber / Knjiga Meki uvez
common.buy 14.32 €
Lehrer sein! Johannes Baumann / Knjiga Meki uvez
common.buy 23.60 €
Aktuelle Rechtsfragen im Radsport Manfred Büchele / Knjiga Meki uvez
common.buy 57.51 €

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 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 Ahmed Bouajjani, David Monniaux
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2017
Broj stranica 560
EAN 9783319522333
ISBN 3319522337
Libristo kod 15560990
Nakladnici Springer International Publishing AG
Težina 8657
Dimenzije 155 x 235 x 31

Kategorija

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 > Programming & scripting languages: general
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
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

Life in a Cold Climate Thompson / Knjiga Meki uvez
common.buy 16.64 €
Red Earth Joel Canfield / Knjiga Meki uvez
common.buy 20.27 €
KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr Thomas Nelson / Knjiga Tvrdi uvez
common.buy 37.73 €
Adventures of Hugh Jorgan Rock Harding / Knjiga Meki uvez
common.buy 10.59 €
When Money Talks: Buford Tucker Listens Danny Broderick / Knjiga Meki uvez
common.buy 18.35 €
Technology, Modernity, and Democracy Eduardo Beira / Knjiga Tvrdi uvez
common.buy 159.52 €
Changing Clouds of Time Shikha Bhargava / Knjiga Meki uvez
common.buy 10.28 €
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd / Knjiga Meki uvez
common.buy 18.56 €
Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press / Knjiga Meki uvez
common.buy 9.37 €
Remaking China's Great Cities Sam Liang / Knjiga Tvrdi uvez
common.buy 243.78 €
Pripremamo
Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler / Knjiga Tvrdi uvez
common.buy 155.89 €
Computational Intelligence in Digital Pedagogy Soumen Mukherjee / Knjiga Meki uvez
common.buy 174.46 €
Season's of a Mother's Heart Sally Clarkson / Knjiga Meki uvez
common.buy 12.10 €
Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou / Audio knjiga MP3
common.buy 7.96 €
Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie / E-knjiga Adobe ePub DRM
common.buy 51.15 €
INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS / Knjiga Tvrdi uvez
common.buy 30.46 €
Climate Change and Mango Production Syed Atif Hasan Naqvi / E-knjiga Adobe ePub DRM
common.buy 230.26 €
Unbounded Chronicles David Schneider / Knjiga Meki uvez
common.buy 29.66 €
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Knjiga Meki uvez
common.buy 59.73 €
Povoljno
Peppa Pig: Hide and Peek Peppa Pig / Knjiga Leporelo
common.buy 5.64 €
RIGBY PM PHOTO STORIES Various / Knjiga Meki uvez
common.buy 18.66 €
Animals A-Z Trevor E Coward / Knjiga Meki uvez
common.buy 16.44 €
Trying It Out in America: Literary and Other Performances Richard Poirier / Knjiga Meki uvez
common.buy 21.58 €
Jewish High Society in Old Regime Berlin Deborah Hertz / Knjiga Tvrdi uvez
common.buy 78.90 €

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
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?