Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01662910

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, gennaio 2013

This book constitutes the refereed proceedings of the 14th International Conference on Verification,... Descrizione completa

Codice Libristo: 01662910

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Schmerz N. Birbaumer

In brossura

55.29 €

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

In brossura

19.99 €

Straßenverkehrsordnung (StVO)

In brossura

18.89 €

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

Rigido

11.79 €

Praha Thomas Käfer

In brossura

21.59 €

Faustine Ida von Hahn-Hahn

In brossura

14.09 €

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

In brossura

35.09 €

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

In brossura

16.39 €

SONATE PIANO PIANO ROBERT MOEVS Libro

binding.

35.89 €

Une Vie pour une Autre Levet

In brossura

23.59 €

Nur ein Geiger Hans Christian Andersen

In brossura

22.49 €

Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann

In brossura

63.99 €

Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber

In brossura

30.79 €

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

In brossura

26.09 €

Dramaturgie in der Ausstellung Sibylle Lichtensteiger

In brossura

22.09 €

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

In brossura

26.19 €

Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold

In brossura

13.19 €

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

In brossura

51.19 €

Gabler Lexikon Personal Ulrich Büdenbender

In brossura

54.19 €

System der Politik Harald Bluhm

In brossura

44.39 €

Zum Bildungsbedarf für Datensicherheit Frank Spieß

In brossura

71.69 €

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

In brossura

36.49 €

Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard

In brossura

55.29 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Verification, Model Checking, and Abstract Interpretation

Autore Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2013

Numero di pagine 556

EAN 9783642358722

ISBN 3642358721

Codice Libristo 01662910

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 860

Dimensioni 155 x 235 x 31

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software > Test e verifica del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente

Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale