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: 02340914
Price: 48.79 EUR
Availability: InStock
Author: Kenneth McMillan
ISBN: 9783642540127

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Kenneth McMillan

Xavier Rival

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 02340914

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

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

Koda Libristo: 02340914

118 b

48.79 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas

Mehka

17.37 €

Hexen und Magie Johannes Dillinger

Mehka

22.42 €

Je ne veux pas mourir idiot Georges Wolinski

Mehka

11.91 €

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Igralka & Poliglotka

EWA KASP za

Predvajaj video

Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Verification, Model Checking, and Abstract Interpretation

Avtor Kenneth McMillan, Xavier Rival

Jezik

Angleščina

Vezava Knjiga - Mehka

Datum izida 2014

Število strani 493

EAN 9783642540127

ISBN 3642540120

Koda Libristo 02340914

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

Teža 7664

Mere 155 x 235 x 28

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability

Computing & Information Technology > Computer hardware > Network hardware

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

Computing & Information Technology > Computer science > Artificial intelligence

Podarite to knjigo še danes

To je povsem preprosto

1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Subnational Population Estimates David A. Swanson

Trda

174.98 €

London and Westminster Improved, Illustrated by Plans: To Which is Prefixed, a Discourse on Publick Magnificence, With Observations on the State of Ar Samuel Johnson

Mehka

18.38 €