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

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
Gwarancja
najlepszej
ceny ▸
252.25 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Computer-Numerik 2 Christoph W. Überhuber / Książka Miękka
common.buy 223.40 zł
Sono io il piu forte! RAMOS MARIO / Książka Twarda
common.buy 48.00 zł
OTZEN Olaf, Eclipse & autres miniatures Olaf / Książka Miękka
common.buy 57.78 zł
Manual de Derecho y sociedad en America Latina Rachel Sieder / E-book Adobe ePub DRM
common.buy 127.90 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 58.90 zł
ELEGIE VOIX-VLC-PIANO MUSIQUE D'ENSEMBLE JULES COHEN Książka binding.
common.buy 64.40 zł
Intimidades en Soledad: Todos en el recuerdo, nadie por nombrar Manuel Jigato Rubio / Książka Miękka
common.buy 44.12 zł
Tosia i Julek czekają na brata. (Nie) tacy sami Magdalena Boćko-Mysiorska / Książka Twarda
common.buy 19.05 zł
Organizzazione delle altezze nello spazio temperato Luigi Verdi / Książka Twarda
common.buy 161.02 zł
Allerhöchste Eisenbahn! Katharina Mahrenholtz / Książka Twarda
common.buy 44.63 zł
Maladies importantes, probl?mes de marché et de production des principales cultures fruiti?res Misgana Mitiku / Książka Miękka
common.buy 138.20 zł
VALENCIA 2018 PASCUAL IZQUIERDO / Książka Miękka
common.buy 88.05 zł
LA LIBRETA ROJA DE LA PATERNIDAD CARLOS ESCUDERO / Książka Miękka
common.buy 91.82 zł
LINDER Biologie SII - Ausgabe 2018 für Sachsen Horst Bayrhuber / Książka Twarda
common.buy 140.34 zł
Interdependenz Von Zivilrecht Und Sozialrecht Nach Der Ehescheidung Mark Grohmann / Książka Miękka
common.buy 319.51 zł
Bese Ese Sapo!: 12 Formas de Convertir Lo Negativo en Positivo = Kiss That Frog! Brian Tracy / Książka Miękka
common.buy 63.89 zł
Energie Aus Biomasse - Ein Ethisches Diskussionsmodell Michael Zichy / Książka Miękka
common.buy 122.40 zł
Die CSU Alf Mintzel / Książka Miękka
common.buy 228.40 zł
Wie ich ein Lügner wurde... Arkadij T. Awertschenko / Książka Miękka
common.buy 88.56 zł
Westfassade des Domes in Siena Silvia Katzenmaier / Książka Miękka
common.buy 69.70 zł
Lernort Burgerrundfunk - Offene Hoerfunk- und Fernsehkanale und Nichtkommerzielle Lokalradios in der Bundesrepublik Deutschland Brigitte Kertscher / Książka Miękka
common.buy 203.32 zł
Die Geburt der Tragödie, Sonderausgabe Friedrich Nietzsche / Książka Miękka
common.buy 55.33 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 83.46 zł
Mozambique Maggie Richard Alun Jones / Książka Miękka
common.buy 120.05 zł
Gothic - Grayscale Edition Coloring Book Selina Fenech / Książka Miękka
common.buy 46.57 zł
Bright Ideas: Level 5: Teacher's Pack Katherine Bilsborough / Książka Miękka
common.buy 140.13 zł
Pinpoint Maths Times Tables Detectives Year 4 Lucy Roberts / Książka Miękka
common.buy 33.62 zł
The Art of Painting in Oil John Smith / Książka Miękka
common.buy 65.63 zł
Magnus and the Night Lion Sanne Dufft / Książka Miękka
common.buy 37.40 zł
Tender Persuasion Jean Hackensmith / Książka Miękka
common.buy 63.89 zł
Cup of Youth Silas Weir Mitchell / Książka Miękka
common.buy 54.21 zł
Royal Merchant; An Opera Fletcher / Książka Twarda
common.buy 128.11 zł
Mills Mill Pals Pamela Chaffin Foster / Książka Miękka
common.buy 81.12 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 118.83 zł
Studio Lighting for Product Photography Eastman Kodak Company / Książka Miękka
common.buy 71.13 zł
Fire Sebastian Junger / Książka Miękka
common.buy 67.05 zł
Knowledge of Heaven and Earth, Book Two Mick Richfield / Książka Miękka
common.buy 91.82 zł
Power System Economics - Designing Markets for Electricity Stoft / Książka Miękka
common.buy 388.21 zł
How To Survive Peer Review Elizabeth Wager / Książka Miękka
common.buy 135.24 zł
Soul in the Brain Michael R. Trimble / Książka Twarda
common.buy 195.37 zł
Fandom, Image and Authenticity Jennifer Otter Bickerdike / Książka Twarda
common.buy 251.33 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?