Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verified Software: Theories, Tools and Experiments

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

Język AngielskiAngielski
Książka Miękka
Książka Verified Software: Theories, Tools and Experiments Dimitra Giannakopoulou
Kod Libristo: 06841788
Wydawnictwo Springer International Publishing AG, październik 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International... Cały opis
? points 120 b
212.04 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Kognitive Kooperation in der Produktionssteuerung Tobias Wissing / Książka Miękka
common.buy 162.04 zł
Percevoir : monde et langage Socks / Kalendarz/Pamiętnik Kalendarz
common.buy 171.76 zł
The Pug who wanted to be a Dinosaur Bella Swift / Książka Miękka
common.buy 37.24 zł
Tanie
TOKYO STOREFRONTS POSTCARD BOOK (ARTBOOK VO JAPONAIS) MATEUSZ URBANOWICZ / Książka Miękka
common.buy 128.34 zł
REVISTA TURIA 107 / Książka Książka
common.buy 78.13 zł
a a a a a a a a a a a a Rider Tiger Rider / Audiobook MP3
common.buy 14.46 zł
Odontología deportiva: una perspectiva de futuro Ipseeta Menon / Książka Miękka
common.buy 273.89 zł
Huculskie peregrynacje weselne Świątek Adrianna / Książka Miękka
common.buy 66.39 zł
Concevoir des espaces scolaires pour le bien-être et la réussite Mazalto / Książka Miękka
common.buy 94.83 zł
Mediunidade Trevas Ou Luz Ricardo Max / Książka Miękka
common.buy 36.53 zł
Pfadfinder Majo Probst / Książka Miękka
common.buy 95.54 zł
Love & Passion Jana Reich / Książka Miękka
common.buy 92.20 zł
Airport Simulator 2019 (PlayStation PS4) / Digital Digital CD
common.buy 144.83 zł
Antropología de la mujer : cognición, lengua e ideología cultural María Jesús Buxó Rey / Książka Miękka
common.buy 71.15 zł
Belluguets, Carlota, la granota, Educació Infantil, 3 anys. 3 trimestre Anna Gassó Jimeno / Książka Miękka
common.buy 48.07 zł
Der Europäische Verfassungsvertrag Klemens H. Fischer / Książka Miękka
common.buy 362.86 zł
Towards Ancestral Lands Fir Bolg / Audio CD Audio
common.buy 89.37 zł
Contribution La Mod lisation Num rique de la R ponse Sismique Abdelghani Seghir / Książka Miękka
common.buy 262.86 zł
Mecanismes de Sequestration de la Tubuline Isabelle Jourdain / Książka Miękka
common.buy 304.05 zł
Actitud de los docentes hacia un nuevo modelo educativo Gilberto Hernández Barrera / Książka Miękka
common.buy 111.13 zł
Die Versorgung des Brandverletzten im Katastrophenfall Band 2 P. R. Zellner / Książka Miękka
common.buy 221.86 zł
Vergleich Der Substantivflexion Im Gotischen Und Althochdeutschen Andy Schalm / Książka Miękka
common.buy 69.22 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Verified Software: Theories, Tools and Experiments
Autor Dimitra Giannakopoulou, Daniel Kroening
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 287
EAN 9783319121536
ISBN 3319121537
Kod Libristo 06841788
Wydawnictwo Springer International Publishing AG
Waga 4569
Wymiary 155 x 235 x 15

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Mad Science of Golf Moore / Książka Miękka
common.buy 90.99 zł
Idylls of Hudson Park Gary Luhmann / Książka Miękka
common.buy 119.02 zł
Genealogies of Long Island Families, from The New York Genealogical and Biographical Record. In Two Volumes. Volume I Island Long Island / Książka Miękka
common.buy 305.67 zł
Webster's First Bunker Hill Oration, 1825 Andrew Jackson George Daniel Webster / Książka Miękka
common.buy 57.28 zł
Yusef; Or, the Journey of the Frangi. a Crusade in the East ... with Illustrations. J Ross Browne / Książka Miękka
common.buy 120.14 zł
The Indie Band Survival Guide Randy Chertkow / Książka Miękka
common.buy 86.43 zł
Lumberjanes Vol. 2 Noelle Stevenson / Książka Miękka
common.buy 51.71 zł
Enchanted April Arnim / Audiobook MP3
common.buy 40.98 zł
Understanding Chronic Pain Robert T. Cochran / Książka Miękka
common.buy 64.16 zł
1999 Abacus Year 1 / P2: Workbook Number 3 (8 pack) Ruth Merttens / Książka Miękka
common.buy 125.40 zł
Miscellaneous Essays and Occasional Writings of Francis Hopkinson, Esq Francis Hopkinson / Książka Twarda
common.buy 163.56 zł
BLUE WATERS AND GREEN: AND THE FAR EAST FREDERICK DUM SMITH / Książka Twarda
common.buy 155.46 zł
Far/Aim 2026 FAA / Książka Miękka
common.buy 67.50 zł
I Was Reincarnated as the 7th Prince so I Can Take My Time Perfecting My Magical Ability 5 Meru / Książka Miękka
common.buy 45.54 zł
Principles of Nuclear Medicine Majid Assadi / E-book Adobe ePub DRM
common.buy 743.44 zł
English I - Andersson Fall 2017: /English 103 Lena Andersson / Książka Miękka
common.buy 56.37 zł
LibreOffice 5.2 Getting Started Guide Libreoffice Documentation Team / Książka Miękka
common.buy 107.28 zł
Rama Epic Forrest McGill / Książka Miękka
common.buy 201.92 zł
This legend was born in 1997 Star Note Books / Książka Miękka
common.buy 30.76 zł
TOP
Five Wounds - A Novel Quade / Książka Twarda
common.buy 95.44 zł
Gathering The Fragments That Nothing Will Be Lost Linda Hunt / Książka Miękka
common.buy 83.19 zł
B. J. Harrison Reads David Copperfield Dickens / Audiobook MP3
common.buy 64.87 zł
Land Degradation C. J. Barrow / Książka Miękka
common.buy 214.17 zł
Multitrophic Level Interactions Teja Tscharntke / Książka Twarda
common.buy 616.92 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?