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

Verification, Model Checking, and Abstract Interpretation

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Deepak D'Souza
Kod Libristo: 09136925
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, grudzień 2014
This book constitutes the refereed proceedings of the 16th International Conference on Verification,... Cały opis
? points 125 b
219.53 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Kein Makel um die Liberator Emmerich Nilson / Książka Miękka
common.buy 28.77 zł
Verteidigung als Angriff Michael Multhammer / Książka Twarda
common.buy 588.28 zł
Modernitat ALS Paradox Birgit Hoock / Książka Twarda
common.buy 506.48 zł
Republique Oui ! Les Radicaux Jamais ! Extrait Du Chapitre IV de la Brochure Qui Vive ? Sans Auteur / Książka Miękka
common.buy 58.15 zł
Typenbildung in Der Sozialwissenschaftlichen Umweltforschung Gerhard De Haan / Książka Miękka
common.buy 245.89 zł
Je m'habille - a.telier, emanuela collini Xxxxxxx Książka Książka
common.buy 26.65 zł
Gruzínština konverzace collegium / Książka Miękka
common.buy 43.35 zł
Gastronomie českého středověku Monika Černá-Feyfrlíková / Książka Miękka
common.buy 60.96 zł
'... meine besten Schüler sind meistens Juden.' Thomas Brechenmacher / Książka Twarda
common.buy 181.40 zł

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2014. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.

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 Deepak D'Souza, Akash Lal, Kim Gulstrand Larsen
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 468
EAN 9783662460801
ISBN 3662460807
Kod Libristo 09136925
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 7314
Wymiary 155 x 235 x 25

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
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
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ć

Migrant Passage Noelle Kateri Brigden / Książka Twarda
common.buy 703.19 zł
Alien Zone II Rick Kuhn / Książka Miękka
common.buy 123.85 zł
Prosecuting Maritime Piracy Michael P. Scharf / E-book Adobe ePub DRM
common.buy 249.92 zł
Communion-Office for the Use of the Church of Scotland, as Far as Concerneth the Ministration of That Holy Sacrament MULTIPLE CONTRIBUTOR / Książka Twarda
common.buy 114.29 zł
Society, Institutions, and Individuals David G Embrick / Książka Miękka
common.buy 616.56 zł
What's What in America Eugene V. Brewster / Książka Miękka
common.buy 96.08 zł
Flight of the Valkyrie K S Daniels / Książka Miękka
common.buy 55.53 zł
What Jack Taught Grandpa: Practical Wisdom from a Knee-High Perspective Bob Heckman / Książka Miękka
common.buy 41.04 zł
Annabelle's Reading Log Martha Day Zschock / Książka Twarda
common.buy 67.10 zł
New Wine T a Prickett / Książka Miękka
common.buy 56.74 zł
West Dorset Guide Book / Książka Miękka
common.buy 32.49 zł
Political History of Spanish José Del Valle / Książka Miękka
common.buy 237.94 zł
Modern Leadership Development and Excellence DR.S.K. BABOOA / Książka Miękka
common.buy 70.42 zł
Teaching Agricultural Concepts Farshad Ghooshchi Omidvar / Książka Miękka
common.buy 60.06 zł
Just Solution Stephen Yearwood / Książka Miękka
common.buy 62.87 zł
Two Days of Doubt Cort / Książka Miękka
common.buy 57.64 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?