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

13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Viktor Kuncak
Kod Libristo: 01660462
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 2012
This book constitutes the refereed proceedings of the 13th International Conference on Verification,... Cały opis
? points 142 b
248.18 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 9-15 dni

30 dni na zwrot towaru

Klienci kupili także

Computer-Numerik 2 Christoph W. Überhuber / Książka Miękka
common.buy 219.80 zł
Maladies importantes, probl?mes de marché et de production des principales cultures fruiti?res Misgana Mitiku / Książka Miękka
common.buy 135.97 zł
Eloge de l'Abbe Rozier, Couronne Par l'Academie de Lyon, Le 30 Aout 1832 DE BOISSIEU-A / Książka Miękka
common.buy 57.95 zł
Allerhöchste Eisenbahn! Katharina Mahrenholtz / Książka Twarda
common.buy 43.91 zł
Sono io il piu forte! RAMOS MARIO / Książka Twarda
common.buy 48.32 zł
ELEGIE VOIX-VLC-PIANO MUSIQUE D'ENSEMBLE JULES COHEN Książka binding.
common.buy 64.37 zł
Tosia i Julek czekają na brata. (Nie) tacy sami Magdalena Boćko-Mysiorska / Książka Twarda
common.buy 19.45 zł
Organizzazione delle altezze nello spazio temperato Luigi Verdi / Książka Twarda
common.buy 158.43 zł
Die Geburt der Tragödie, Sonderausgabe Friedrich Nietzsche / Książka Miękka
common.buy 46.42 zł
VALENCIA 2018 PASCUAL IZQUIERDO / Książka Miękka
common.buy 86.43 zł
LA LIBRETA ROJA DE LA PATERNIDAD CARLOS ESCUDERO / Książka Miękka
common.buy 90.14 zł
LINDER Biologie SII - Ausgabe 2018 für Sachsen Horst Bayrhuber / Książka Twarda
common.buy 138.28 zł
Bese Ese Sapo!: 12 Formas de Convertir Lo Negativo en Positivo = Kiss That Frog! Brian Tracy / Książka Miękka
common.buy 62.67 zł
Energie Aus Biomasse - Ein Ethisches Diskussionsmodell Michael Zichy / Książka Miękka
common.buy 120.43 zł
Die CSU Alf Mintzel / Książka Miękka
common.buy 224.72 zł
Wie ich ein Lügner wurde... Arkadij T. Awertschenko / Książka Miękka
common.buy 87.13 zł
Westfassade des Domes in Siena Silvia Katzenmaier / Książka Miękka
common.buy 68.58 zł
Lernort Burgerrundfunk - Offene Hoerfunk- und Fernsehkanale und Nichtkommerzielle Lokalradios in der Bundesrepublik Deutschland Brigitte Kertscher / Książka Miękka
common.buy 200.05 zł

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, 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 Viktor Kuncak, Andrey Rybalchenko
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 457
EAN 9783642279393
ISBN 3642279392
Kod Libristo 01660462
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 709
Wymiary 155 x 235 x 28

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) > 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ć

Secret of Chimneys / Książka Miękka
common.buy 82.12 zł
Fandom, Image and Authenticity Jennifer Otter Bickerdike / Książka Twarda
common.buy 247.48 zł
The Art of Painting in Oil John Smith / Książka Miękka
common.buy 64.57 zł
Magnus and the Night Lion Sanne Dufft / Książka Miękka
common.buy 36.89 zł
Pinpoint Maths Times Tables Detectives Year 4 Lucy Roberts / Książka Miękka
common.buy 33.28 zł
Diseases of the Foetus in Utero, (Not Including Malformations). with Outline of Foetal Development HENRY MADGE / Książka Miękka
common.buy 93.85 zł
Tender Persuasion Jean Hackensmith / Książka Miękka
common.buy 62.87 zł
Royal Merchant; An Opera Fletcher / Książka Twarda
common.buy 126.04 zł
Mills Mill Pals Pamela Chaffin Foster / Książka Miękka
common.buy 97.16 zł
Select Works of Antony Van Leeuwenhoek, Containing His Microscopical Discoveries in Many of the Works of Nature. Translated from the Dutch and Latin E Antoni van Leeuwenhoek / Książka Miękka
common.buy 116.92 zł
Knowledge of Heaven and Earth, Book Two Mick Richfield / Książka Miękka
common.buy 90.34 zł
Soul in the Brain Michael R. Trimble / Książka Twarda
common.buy 192.33 zł
How To Survive Peer Review Elizabeth Wager / Książka Miękka
common.buy 135.47 zł
Power System Economics - Designing Markets for Electricity Stoft / Książka Miękka
common.buy 422.37 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?