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 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.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: 01571263
Price: 51.59 EUR
Availability: InStock
Author: Neil D. Jones
ISBN: 9783540938996

10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Neil D. Jones

Markus Müller-Olm

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01571263

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2008

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

Libristo kód: 01571263

125 b

51.59 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Correlaciones entre la personalidad y el rendimiento académico de los adolescentes

Brožovaná

32.91 €

Geheime Liebe auf Sylt Gabriele Diechler

Brožovaná

10.89 €

Pověsti Čech, Moravy a Slezska August Sedláček

Pevná

8.07 €

Tantrická masáž Kalashatra Govinda

Pevná

15.94 €

Neumírej před smrtí Jevgenij Jevtušenko

binding.

8.57 €

Death note. Short stories Tsugumi Ohba

Brožovaná

8.98 €

Anekdòt -2 Bob Lapierre

Brožovaná

41.19 €

Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss

Brožovaná

27.86 €

Quer durch Athen Petros Markaris

Brožovaná

10.89 €

Potigny - au siècle des mineurs Benjamin

Pevná

30.99 €

Blattwerk Deutsch - Texte, 5/6 AHS Johannes Gaisböck

Brožovaná

19.88 €

Drácula superstar JULIO PEREZ MANZANARES

Audio CD

23.21 €

La vuelta al mundo en 80 días GERONIMO STILTON

Brožovaná

13.92 €

C. G. J. Jacobi's Gesammelte Werke Carl Gustav Jacob JacobiKarl Weierstrass

Brožovaná

74.30 €

Management et fidélisation des saisonniers en hôtellerie Hervé Cabantous

Brožovaná

40.07 €

Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil

Brožovaná

62.49 €

Das Orakel vom Berge Philip K. Dick

Brožovaná

9.08 €

Quantifizierung Operationeller Risiken Christian Bohlender

Brožovaná

49.87 €

Die Wahrheit über mich - Das Fragespiel David Tripolina

Hra

7.66 €

Processus d'Impression Textiles Zouhaier Romdhani

Brožovaná

40.88 €

The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages.§The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.