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 12.99 zł Punkt DPD 13.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 142 b
Gwarancja
najlepszej
ceny ▸
247.90 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Le Coran expliqué aux jeunes Rachid Benzine / Książka Miękka
common.buy 53.28 zł
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Książka Twarda
common.buy 40.84 zł
Burenkrieg (1899-1902) Burkhard Werner / Książka Miękka
common.buy 57.50 zł
Augusto Giacometti Beat Stutzer / Książka Miękka
common.buy 181.66 zł
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Książka Miękka
common.buy 75.67 zł
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Książka Miękka
common.buy 131.37 zł
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Książka Miękka
common.buy 170.31 zł
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Książka Miękka
common.buy 68.64 zł
Plansza dwustronna A4 ściąga Europa / Książka binding.
common.buy 6.61 zł
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / E-book Adobe ePub DRM
common.buy 59.51 zł
Joan Miro TBD / Książka Twarda
common.buy 166.40 zł
Dawit Isaak Anisur Rahman / Książka Miękka
common.buy 106.38 zł
UN HERISSON EMMANUELLE KECIR-LEPETIT / Książka Książka
common.buy 57.60 zł
Jak jsem se (ne)stal agentem StB Jan Vaněček / Książka binding.
common.buy 15.05 zł
Holašovice: Vesnická památková rezervace collegium / Książka Karta
common.buy 53.28 zł
Des petits mondes en leur début / Książka Miękka
common.buy 147.83 zł
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Książka Twarda
common.buy 216.18 zł
Indische Reisebriefe Ernst Haeckel / Książka Miękka
common.buy 151.14 zł
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Książka Miękka
common.buy 132.58 zł
Sang famille Michel Bussi / Książka Miękka
common.buy 56.20 zł
Traite Du Jeu. Volume 1 BARBEYRAC-J / Książka Miękka
common.buy 128.06 zł
Gottfried Keller Albert Köster / Książka Miękka
common.buy 106.38 zł
de la Difference d'Action Sur l'Organisme Des Medicaments Naturels PERRY-J-J / Książka Miękka
common.buy 58.00 zł
Iniciacion deportiva en la escuela Abadi / Książka Miękka
common.buy 126.15 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 247.90 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 262.45 zł
Changing Room Zhai Yongming / Książka Miękka
common.buy 81.49 zł
Torn in the New Sa Bronwyn McIntosh / Książka Miękka
common.buy 101.76 zł
English Physician's Guide or a Holy Guide V1 John Heydon / Książka Twarda
common.buy 231.04 zł
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Książka Miękka
common.buy 118.62 zł
REASONABLE SERVICE WILLIAM PAG ROBERTS / Książka Twarda
common.buy 133.98 zł
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Książka Miękka
common.buy 109.69 zł
Seven Hours at the Ocean Ty Davis / Książka Miękka
common.buy 32.41 zł
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Książka Miękka
common.buy 95.84 zł
Entering the Healing Ground WELLER FRANCIS / Książka Miękka
common.buy 63.62 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 70.55 zł
Two Dark Reigns Kendare Blake / Książka Miękka
common.buy 38.23 zł
The Voice of the Pack Edison Marshall / Książka Miękka
common.buy 133.98 zł
The BOOK of DEUS DESUM: The Abesnt or Missing God Nancy Phillips / Książka Miękka
common.buy 55.19 zł
My Mom is a Construction Manager Princess Karibo / Książka Miękka
common.buy 114.21 zł
Robert Rauschenberg and Surrealism Gavin Parkinson / Książka Miękka
common.buy 172.42 zł
30 Great Books That Made History Aurell / Książka Miękka
common.buy 100.86 zł
Think Starter Workbook with Online Practice Herbert Puchta / Książka Twarda
common.buy 47.97 zł
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Książka Twarda
common.buy 332.01 zł
Anthems for Choirs 4 Christopher Morris / Prasa Nuty
common.buy 108.59 zł
Get addicted to free-motion quilting Sheila Sinclair Snyder / Książka Miękka
common.buy 78.78 zł
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Książka Miękka
common.buy 436.59 zł
History of the People's Republic of China, 1949-1976 Julia Strauss / Książka Miękka
common.buy 191.09 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?