Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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: 53.13 EUR
Availability: InStock
Author: Gilles Barthe
ISBN: 9783642113185

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

Gilles Barthe

Manuel Hermenegildo

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01655343

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, januar 2010

This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Celoten opis

Koda Libristo: 01655343

129 b

53.13 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 11-15 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

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

Mehka

15.25 €

Le Coran expliqué aux jeunes Rachid Benzine

Mehka

11.41 €

Burenkrieg (1899-1902) Burkhard Werner

Mehka

12.72 €

Augusto Giacometti Beat Stutzer

Mehka

40.30 €

Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan

Mehka

16.76 €

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

Mehka

29.39 €

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

Mehka

37.78 €

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

Trda

8.48 €

Die besten Übungen für den Atlas-Wirbel Heike Höfler

Mehka

17.17 €

UN HERISSON EMMANUELLE KECIR-LEPETIT

Knjiga

12.42 €

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

Preglednica

11.10 €

Plansza dwustronna A4 ściąga Europa

binding.

1.61 €

Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik

Adobe ePub DRM

12.42 €

Joan Miro TBD

Trda

37.88 €

Dawit Isaak Anisur Rahman

Mehka

23.83 €

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

binding.

3.12 €

Des petits mondes en leur début

Mehka

32.72 €

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

Trda

48.08 €

Indische Reisebriefe Ernst Haeckel

Mehka

33.53 €

Integrierte Versorgung bei Demenzerkrankungen Lucie Barth

Mehka

29.39 €

Sang famille Michel Bussi

Mehka

12.11 €

Traite Du Jeu. Volume 1 BARBEYRAC-J

Mehka

28.78 €

Gottfried Keller Albert Köster

Mehka

22.32 €

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

Mehka

13.02 €

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.