Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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: 1182 CZK
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

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, leden 2013

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

Libristo kód: 01662910

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Schmerz N. Birbaumer

Brožovaná

1 214 Kč

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

Brožovaná

445 Kč

Straßenverkehrsordnung (StVO)

Brožovaná

442 Kč

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

Pevná

254 Kč

Praha Thomas Käfer

Brožovaná

470 Kč

Faustine Ida von Hahn-Hahn

Brožovaná

308 Kč

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

Brožovaná

815 Kč

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

Brožovaná

381 Kč

SONATE PIANO PIANO ROBERT MOEVS Kniha

binding.

842 Kč

Une Vie pour une Autre Levet

Brožovaná

553 Kč

Nur ein Geiger Hans Christian Andersen

Brožovaná

489 Kč

Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann

Brožovaná

1 401 Kč

Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber

Brožovaná

671 Kč

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

Brožovaná

582 Kč

Dramaturgie in der Ausstellung Sibylle Lichtensteiger

Brožovaná

513 Kč

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

Brožovaná

571 Kč

Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold

Brožovaná

287 Kč

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

Brožovaná

1 115 Kč

Gabler Lexikon Personal Ulrich Büdenbender

Brožovaná

1 187 Kč

System der Politik Harald Bluhm

Brožovaná

972 Kč

Zum Bildungsbedarf für Datensicherheit Frank Spieß

Brožovaná

1 668 Kč

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

Brožovaná

794 Kč

Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard

Brožovaná

1 214 Kč

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 pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verification, Model Checking, and Abstract Interpretation

Autor Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2013

Počet stran 556

EAN 9783642358722

ISBN 3642358721

Libristo kód 01662910

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 860

Rozměry 155 x 235 x 31

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství > Testování a verifikace softwaru

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost

Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Výpočetní a informační technologie > Informatika > Umělá inteligence