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

Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verified Software: Theories, Tools and Experiments Dimitra Giannakopoulou
Libristo kod: 06841788
Nakladnici Springer International Publishing AG, listopad 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International... Cijeli opis
? points 120 b
49.54 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Kognitive Kooperation in der Produktionssteuerung Tobias Wissing / Knjiga Meki uvez
common.buy 35.78 €
Povoljno
TOKYO STOREFRONTS POSTCARD BOOK (ARTBOOK VO JAPONAIS) MATEUSZ URBANOWICZ / Knjiga Meki uvez
common.buy 30.02 €
Odontología deportiva: una perspectiva de futuro Ipseeta Menon / Knjiga Meki uvez
common.buy 64.00 €
The Pug who wanted to be a Dinosaur Bella Swift / Knjiga Meki uvez
common.buy 8.69 €
Huculskie peregrynacje weselne Świątek Adrianna / Knjiga Meki uvez
common.buy 17.38 €
Der Europäische Verfassungsvertrag Klemens H. Fischer / Knjiga Meki uvez
common.buy 80.68 €
Percevoir : monde et langage Socks / Kalendar/Rokovnik Kalendar
common.buy 40.13 €
a a a a a a a a a a a a Rider Tiger Rider / Audio knjiga MP3
common.buy 3.12 €
REVISTA TURIA 107 / Knjiga Knjiga
common.buy 17.58 €
Concevoir des espaces scolaires pour le bien-être et la réussite Mazalto / Knjiga Meki uvez
common.buy 22.13 €
Mediunidade Trevas Ou Luz Ricardo Max / Knjiga Meki uvez
common.buy 8.58 €
Pfadfinder Majo Probst / Knjiga Meki uvez
common.buy 22.34 €
Love & Passion Jana Reich / Knjiga Meki uvez
common.buy 21.53 €
Airport Simulator 2019 (PlayStation PS4) / Digital Digital CD
common.buy 33.86 €
Antropología de la mujer : cognición, lengua e ideología cultural María Jesús Buxó Rey / Knjiga Meki uvez
common.buy 15.86 €
Belluguets, Carlota, la granota, Educació Infantil, 3 anys. 3 trimestre Anna Gassó Jimeno / Knjiga Meki uvez
common.buy 10.71 €
Towards Ancestral Lands Fir Bolg / Audio Audio CD
common.buy 20.92 €
Contribution La Mod lisation Num rique de la R ponse Sismique Abdelghani Seghir / Knjiga Meki uvez
common.buy 61.47 €
Mecanismes de Sequestration de la Tubuline Isabelle Jourdain / Knjiga Meki uvez
common.buy 71.07 €
Actitud de los docentes hacia un nuevo modelo educativo Gilberto Hernández Barrera / Knjiga Meki uvez
common.buy 25.98 €
Die Versorgung des Brandverletzten im Katastrophenfall Band 2 P. R. Zellner / Knjiga Meki uvez
common.buy 51.86 €
Vergleich Der Substantivflexion Im Gotischen Und Althochdeutschen Andy Schalm / Knjiga Meki uvez
common.buy 16.17 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

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 Verified Software: Theories, Tools and Experiments
Autor Dimitra Giannakopoulou, Daniel Kroening
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2014
Broj stranica 287
EAN 9783319121536
ISBN 3319121537
Libristo kod 06841788
Nakladnici Springer International Publishing AG
Težina 4569
Dimenzije 155 x 235 x 15

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
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
Computing & Information Technology > Computer science > Artificial intelligence
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

Mad Science of Golf Moore / Knjiga Meki uvez
common.buy 21.22 €
BLUE WATERS AND GREEN: AND THE FAR EAST FREDERICK DUM SMITH / Knjiga Tvrdi uvez
common.buy 36.39 €
Enchanted April Arnim / Audio knjiga MP3
common.buy 8.99 €
Poems of Praise and Worship Shane Dale Anders / Knjiga Meki uvez
common.buy 11.32 €
Genealogies of Long Island Families, from The New York Genealogical and Biographical Record. In Two Volumes. Volume I Island Long Island / Knjiga Meki uvez
common.buy 75.73 €
Yusef; Or, the Journey of the Frangi. a Crusade in the East ... with Illustrations. J Ross Browne / Knjiga Meki uvez
common.buy 28.10 €
The Indie Band Survival Guide Randy Chertkow / Knjiga Meki uvez
common.buy 20.21 €
Lumberjanes Vol. 2 Noelle Stevenson / Knjiga Meki uvez
common.buy 11.82 €
Understanding Chronic Pain Robert T. Cochran / Knjiga Meki uvez
common.buy 14.96 €
1999 Abacus Year 1 / P2: Workbook Number 3 (8 pack) Ruth Merttens / Knjiga Meki uvez
common.buy 28.00 €
Miscellaneous Essays and Occasional Writings of Francis Hopkinson, Esq Francis Hopkinson / Knjiga Tvrdi uvez
common.buy 38.21 €
Webster's First Bunker Hill Oration, 1825 Andrew Jackson George Daniel Webster / Knjiga Meki uvez
common.buy 13.34 €
Idylls of Hudson Park Gary Luhmann / Knjiga Meki uvez
common.buy 27.80 €
I Was Reincarnated as the 7th Prince so I Can Take My Time Perfecting My Magical Ability 5 Meru / Knjiga Meki uvez
common.buy 10.20 €
English I - Andersson Fall 2017: /English 103 Lena Andersson / Knjiga Meki uvez
common.buy 13.13 €
LibreOffice 5.2 Getting Started Guide Libreoffice Documentation Team / Knjiga Meki uvez
common.buy 25.07 €
Rama Epic Forrest McGill / Knjiga Meki uvez
common.buy 45.19 €
Top
Five Wounds - A Novel Quade / Knjiga Tvrdi uvez
common.buy 21.02 €
Gathering The Fragments That Nothing Will Be Lost Linda Hunt / Knjiga Meki uvez
common.buy 19.40 €
Emily und der kleine Bär Antony Anderson / Video DVD
common.buy 18.70 €
Land Degradation C. J. Barrow / Knjiga Meki uvez
common.buy 50.04 €
Multitrophic Level Interactions Teja Tscharntke / Knjiga Tvrdi uvez
common.buy 144.28 €
Dynamic Topology G. Whyburn / Knjiga Meki uvez
common.buy 51.66 €
Relevance Ranking for Vertical Search Engines Bo Long / Knjiga Meki uvez
common.buy 65.01 €

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?