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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01662910

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

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

Libristo kód: 01662910

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

Schmerz N. Birbaumer

Brožovaná

53.16 €

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

Brožovaná

18.42 €

Straßenverkehrsordnung (StVO)

Brožovaná

18.32 €

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

Pevná

9.81 €

Praha Thomas Käfer

Brožovaná

20.65 €

Faustine Ida von Hahn-Hahn

Brožovaná

13.56 €

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

Brožovaná

33.72 €

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

Brožovaná

15.79 €

SONATE PIANO PIANO ROBERT MOEVS Kniha

binding.

34.83 €

Une Vie pour une Autre Levet

Brožovaná

22.88 €

Nur ein Geiger Hans Christian Andersen

Brožovaná

21.46 €

Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann

Brožovaná

61.37 €

Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber

Brožovaná

29.46 €

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

Brožovaná

24.10 €

Dramaturgie in der Ausstellung Sibylle Lichtensteiger

Brožovaná

21.26 €

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

Brožovaná

25.11 €

Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold

Brožovaná

12.65 €

Metodologia de previsao do potencial eolico de curto prazo Ferreira Adir a B

Brožovaná

49.01 €

Gabler Lexikon Personal Ulrich Büdenbender

Brožovaná

51.95 €

System der Politik Harald Bluhm

Brožovaná

42.53 €

Zum Bildungsbedarf für Datensicherheit Frank Spieß

Brožovaná

69.06 €

Doru Lineare, Un Insecto de Importancia Agronomica En Cultivo de Maiz Gladys Mabel Romero Sueldo

Brožovaná

34.93 €

Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard

Brožovaná

53.16 €

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.

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 Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2013

Počet strán 556

EAN 9783642358722

ISBN 3642358721

Libristo kód 01662910

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

Váha 860

Rozmery 155 x 235 x 31

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 > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo > Testovanie a verifikácia softvéru

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 > 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