Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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: 57.21 EUR
Availability: InStock
Author: Ranjit Jhala
ISBN: 9783642182747

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

Ranjit Jhala

David Schmidt

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01657327

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2011

This book constitutes the refereed proceedings of the 12th International Conference on Verification,... Celý popis

Libristo kód: 01657327

139 b

57.21 €

50 % šanca Prehľadáme celý svet Kedy knihu dostanem?

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Avatar: Don'T Go In The Forest Avatar

Audio CD

18.89 €

Geschichte des deutschen Volkes seit dem Ausgang des Mittelalters Johannes Janssen

Brožovaná

79.96 €

Annie e Robert e il naufragio del Titanic Rino Fruttini

Brožovaná

15.96 €

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

Brožovaná

22.33 €

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

Pevná

37.29 €

Adab Kitabi imam-i Gazali

Brožovaná

10.20 €

Buz Kapani Glenn Meade

Brožovaná

17.18 €

Weltwasserforum in Istanbul A Schneider

Brožovaná

12.63 €

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

Brožovaná

26.68 €

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.