Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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 prevzemna mesta DPD in Express One.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662910
Price: 48.78 EUR
Availability: InStock
Author: Roberto Giacobazzi
ISBN: 9783642358722

14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Roberto Giacobazzi

Josh Berdine

Isabella Mastroeni

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01662910

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

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

Koda Libristo: 01662910

118 b

48.78 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Schmerz N. Birbaumer

Mehka

50.09 €

Une Vie pour une Autre Levet

Mehka

27.16 €

VOM EGERLAND BIS OBERKRAIN CONCERT BAND/HARMONIE-PARTITION+PARTIES SEPAREES MICHAEL KLOSTERMANN_ Knjiga

binding.

105.14 €

SONATE PIANO PIANO ROBERT MOEVS Knjiga

binding.

31.51 €

Nur ein Geiger Hans Christian Andersen

Mehka

20.19 €

Kdo zatočí s Naschválníkem Ludmila Bakonyi Selingerová

Trda

3.02 €

Ostseeküste Mecklenburg-Vorpommern und Rügen Heidrun Hoffmann

Mehka

14.03 €

Avesta Friedrich von Spiegel

Mehka

41.81 €

Foto-Grafie. Fotografische Narrativität im Werk von Ida Fink Agnieszka Rz dca

Mehka

31.71 €

Faustine Ida von Hahn-Hahn

Mehka

12.72 €

Morgavsa a Morgana Tajemství bájné Chlupambry Petr Kopl

Trda

11.00 €

Straßenverkehrsordnung (StVO)

Mehka

16.35 €

Praha Thomas Käfer

Mehka

19.38 €

Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann

Mehka

57.77 €

Eddalieder: Gedichte Der Heldensage Finnur Jnsson

Mehka

18.37 €

Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber

Mehka

27.67 €

Zum Bildungsbedarf für Datensicherheit Frank Spieß

Mehka

61.61 €

Traite de Morale, Reimprime d'Apres l'Edition de 1707 Malebranche-N

Mehka

24.03 €

Droit Des Femmes Et Le Mariage, Etudes Critiques de Legislation Comparee BRIDEL-L

Mehka

18.17 €

Dramaturgie in der Ausstellung Sibylle Lichtensteiger

Mehka

18.98 €

Gabler Lexikon Personal Ulrich Büdenbender

Mehka

48.98 €

Entwicklung und Implementierung eines drahtlosen Sensor-Aktor-Netzwerks fur ein Parkleitsystem Tom Filbrandt

Mehka

23.53 €

Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold

Mehka

11.81 €

System der Politik Harald Bluhm

Mehka

40.09 €

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. §The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.