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: 02340914
Price: 51.75 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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02340914

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

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

Libristo kód: 02340914

125 b

51.75 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas

Brožovaná

19.33 €

Hexen und Magie Johannes Dillinger

Brožovaná

23.79 €

Je ne veux pas mourir idiot Georges Wolinski

Brožovaná

13.16 €

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.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Verification, Model Checking, and Abstract Interpretation

Autor Kenneth McMillan, Xavier Rival

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2014

Počet strán 493

EAN 9783642540127

ISBN 3642540120

Libristo kód 02340914

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 7664

Rozmery 155 x 235 x 28

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Dizajn používateľského rozhrania a použiteľnosť

Výpočtové a informačné technológie > Počítačový hardvér > Sieťové zariadenia

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Informatika > Umelá inteligencia

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Subnational Population Estimates David A. Swanson

Pevná

185.34 €

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

Brožovaná

18.42 €