Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

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

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ł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01657327
Price: 248.6 PLN
Availability: InStock
Author: Ranjit Jhala
ISBN: 9783642182747

12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Ranjit Jhala

David Schmidt

Język

Angielski

Książka Miękka

Kod Libristo: 01657327

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 2011

This book constitutes the refereed proceedings of the 12th International Conference on Verification,... Cały opis

Kod Libristo: 01657327

139 b

248.60 zł

50 % szansa Przeszukamy cały świat Kiedy dostanę książkę?

Nawet do 30 dni na zwrot

Klienci kupili także

Avatar: Don'T Go In The Forest Avatar

CD Audio

81.94 zł

Geschichte des deutschen Volkes seit dem Ausgang des Mittelalters Johannes Janssen

Miękka

346.97 zł

Annie e Robert e il naufragio del Titanic Rino Fruttini

Miękka

66.84 zł

«Et fu fatta grande festa». Le nozze di Giampaolo Baglioni. Cronaca di una congiura. Le «nozze di sangue» di Astorre Baglioni Alberto Maria Sartore

Miękka

93.54 zł

Über Die Einheit Des Menschengeschlechtes Und Den Naturzustand Der Menschen Theodor Waitz

Twarda

170.04 zł

Adab Kitabi imam-i Gazali

Miękka

44.25 zł

Buz Kapani Glenn Meade

Miękka

74.34 zł

Weltwasserforum in Istanbul A Schneider

Miękka

55.03 zł

Elements de l'Histoire Naturelle Des Animaux. Partie 1 (Ed.1882) Alphonse Milne-Edwards

Miękka

110.07 zł

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.