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.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € 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: 01655343
Price: 55.77 EUR
Availability: InStock
Author: Gilles Barthe
ISBN: 9783642113185

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Gilles Barthe

Manuel Hermenegildo

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01655343

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

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

Libristo kód: 01655343

135 b

55.77 €

Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Le Coran expliqué aux jeunes Rachid Benzine

Brožovaná

12.52 €

Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck

Pevná

10.10 €

Burenkrieg (1899-1902) Burkhard Werner

Brožovaná

13.53 €

Augusto Giacometti Beat Stutzer

Brožovaná

42.84 €

Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan

Brožovaná

17.88 €

Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin

Brožovaná

29.40 €

Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche

Brožovaná

40.11 €

andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born

Brožovaná

16.16 €

Plansza dwustronna A4 ściąga Europa

binding.

1.81 €

Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik

Adobe ePub DRM

14.04 €

Joan Miro TBD

Pevná

39.20 €

Dawit Isaak Anisur Rahman

Brožovaná

23.84 €

UN HERISSON EMMANUELLE KECIR-LEPETIT

Kniha

13.53 €

Jak jsem se (ne)stal agentem StB Jan Vaněček

binding.

3.43 €

Holašovice: Vesnická památková rezervace collegium

List

12.12 €

Des petits mondes en leur début

Brožovaná

34.85 €

Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig

Pevná

50.92 €

Indische Reisebriefe Ernst Haeckel

Brožovaná

35.66 €

Integrierte Versorgung bei Demenzerkrankungen Lucie Barth

Brožovaná

31.22 €

Sang famille Michel Bussi

Brožovaná

13.23 €

Traite Du Jeu. Volume 1 BARBEYRAC-J

Brožovaná

28.79 €

Gottfried Keller Albert Köster

Brožovaná

25.05 €

de la Difference d'Action Sur l'Organisme Des Medicaments Naturels PERRY-J-J

Brožovaná

13.03 €

Iniciacion deportiva en la escuela Abadi

Brožovaná

29.70 €

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.