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 3.49 € Zbirno mesto 3.49 € Zbirno mesto 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.

Static Analysis

Name: Static Analysis
Brand: Springer International Publishing AG
SKU: 05166407
Price: 48.86 EUR
Availability: InStock
Author: Markus Müller-Olm
ISBN: 9783319109350

21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Markus Müller-Olm

Helmut Seidl

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 05166407

Založba Springer International Publishing AG, avgust 2014

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Sta... Celoten opis

Koda Libristo: 05166407

118 b

48.86 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Verbindungen II Maria Ivanytska

Trda

36.62 €

Ballet: La mejor guía para apoyar a tu hijo: Manual para Padres Nadia Bautista Contreras

Mehka

7.27 €

Лисёнок Вук Иштван Фекете

Trda

22.35 €

IT-Berufe Ingo Patett

Mehka

34.49 €

Epikie Ingo Proft

Trda

69.90 €

Getriebe Und Getriebemodelle Auschuss Fur Witschaftiliche Fertigung Berlin Verein

Mehka

50.17 €

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.