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 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Gilles Barthe
Kod Libristo: 01655343
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 2010
This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Cały opis
? points 141 b
Gwarancja
najlepszej
ceny ▸
251.32 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Augusto Giacometti Beat Stutzer / Książka Miękka
common.buy 184.33 zł
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Książka Miękka
common.buy 76.87 zł
Die besten Übungen für den Atlas-Wirbel Heike Höfler / Książka Miękka
common.buy 78.09 zł
Plansza dwustronna A4 ściąga Europa / Książka binding.
common.buy 10.80 zł
Le Coran expliqué aux jeunes Rachid Benzine / Książka Miękka
common.buy 53.21 zł
Des petits mondes en leur début / Książka Miękka
common.buy 150.17 zł
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / E-book Adobe ePub DRM
common.buy 61.06 zł
Joan Miro TBD / Książka Twarda
common.buy 175.15 zł
Dawit Isaak Anisur Rahman / Książka Miękka
common.buy 108.07 zł
UN HERISSON EMMANUELLE KECIR-LEPETIT / Książka Książka
common.buy 57.70 zł
Kamumemoár James Blunt / Książka Twarda
common.buy 68.00 zł
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Książka Miękka
common.buy 133.45 zł
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Książka Twarda
common.buy 41.49 zł
Transiciones e Interacciones en la Sociedad del Conocimiento Johanna Pérez Daza / Książka Miękka
common.buy 226.54 zł
Moje plány Jan Sokol / Książka Miękka
common.buy 64.43 zł
Holašovice: Vesnická památková rezervace collegium / Książka Karta
common.buy 54.13 zł
Jak jsem se (ne)stal agentem StB Jan Vaněček / Książka binding.
common.buy 15.28 zł
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Książka Miękka
common.buy 69.73 zł
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Książka Miękka
common.buy 173.01 zł
Burenkrieg (1899-1902) Burkhard Werner / Książka Miękka
common.buy 58.41 zł
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Książka Twarda
common.buy 219.40 zł
Indische Reisebriefe Ernst Haeckel / Książka Miękka
common.buy 153.54 zł
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Książka Miękka
common.buy 134.68 zł
Gottfried Keller Albert Köster / Książka Miękka
common.buy 107.86 zł

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

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 Verification, Model Checking, and Abstract Interpretation
Autor Gilles Barthe, Manuel Hermenegildo
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 397
EAN 9783642113185
ISBN 3642113184
Kod Libristo 01655343
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 612
Wymiary 155 x 235 x 23

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
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) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
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ć

Bio-Inspired Computing and Applications De-Shuang Huang / Książka Miękka
common.buy 251.32 zł
Dominoes: Three: The Secret Agent Joseph Conrad / Książka Miękka
common.buy 60.86 zł
Think Starter Workbook with Online Practice Herbert Puchta / Książka Twarda
common.buy 48.73 zł
Implementation, Usage and Advantages of Cloud Computing within Project Management using the example of an Offshore Wind Farm Project Andreas Hoppe / Książka Miękka
common.buy 165.16 zł
Changing Room Zhai Yongming / Książka Miękka
common.buy 81.35 zł
Torn in the New Sa Bronwyn McIntosh / Książka Miękka
common.buy 85.63 zł
English Physician's Guide or a Holy Guide V1 John Heydon / Książka Twarda
common.buy 258.35 zł
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Książka Miękka
common.buy 120.50 zł
REASONABLE SERVICE WILLIAM PAG ROBERTS / Książka Twarda
common.buy 136.10 zł
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Książka Twarda
common.buy 337.27 zł
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Książka Miękka
common.buy 111.43 zł
Seven Hours at the Ocean Ty Davis / Książka Miękka
common.buy 32.92 zł
The Voice of the Pack Edison Marshall / Książka Miękka
common.buy 136.10 zł
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Książka Miękka
common.buy 97.36 zł
Paleocene Faunas of the San Juan Basin, New Mexico: Transactions of the American Philosophical Society, New Series, V30 William Diller Matthew / Książka Twarda
common.buy 266.61 zł
Two Dark Reigns Kendare Blake / Książka Miękka
common.buy 40.16 zł
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Książka Miękka
common.buy 71.67 zł
Anthems for Choirs 4 Christopher Morris / Prasa Nuty
common.buy 110.31 zł
Entering the Healing Ground WELLER FRANCIS / Książka Miękka
common.buy 64.63 zł
30 Great Books That Made History Aurell / Książka Miękka
common.buy 104.29 zł
Robert Rauschenberg and Surrealism Gavin Parkinson / Książka Miękka
common.buy 175.15 zł
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Książka Miękka
common.buy 443.51 zł
My Mom is a Construction Manager Princess Karibo / Książka Miękka
common.buy 116.02 zł
Transport and Reactivity of Solutions in Confined Hydrosystems Lionel Mercury / Książka Twarda
common.buy 664.55 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?