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 €

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Verified Software: Theories, Tools and Experiments

Name: Verified Software: Theories, Tools and Experiments
Brand: Springer International Publishing AG
SKU: 06841788
Price: 51.69 EUR
Availability: InStock
Author: Dimitra Giannakopoulou
ISBN: 9783319121536

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Dimitra Giannakopoulou

Daniel Kroening

Lingua

Inglese

Libro In brossura

Codice Libristo: 06841788

Casa editrice Springer International Publishing AG, ottobre 2014

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International... Descrizione completa

Codice Libristo: 06841788

127 b

51.69 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Kognitive Kooperation in der Produktionssteuerung Tobias Wissing

In brossura

39.59 €

Percevoir : monde et langage Socks

Calendario

41.99 €

a a a a a a a a a a a a Rider Tiger Rider

MP3

3.49 €

REVISTA TURIA 107

Libro

18.09 €

Odontología deportiva: una perspectiva de futuro Ipseeta Menon

In brossura

66.99 €

TOKYO STOREFRONTS POSTCARD BOOK (ARTBOOK VO JAPONAIS) MATEUSZ URBANOWICZ

In brossura

29.69 €

The Pug who wanted to be a Dinosaur Bella Swift

In brossura

9.19 €

Antropología de la mujer : cognición, lengua e ideología cultural María Jesús Buxó Rey

In brossura

16.49 €

Vergleich Der Substantivflexion Im Gotischen Und Althochdeutschen Andy Schalm

In brossura

16.89 €

Die Versorgung des Brandverletzten im Katastrophenfall Band 2 P. R. Zellner

In brossura

54.19 €

Actitud de los docentes hacia un nuevo modelo educativo Gilberto Hernández Barrera

In brossura

27.19 €

Mecanismes de Sequestration de la Tubuline Isabelle Jourdain

In brossura

74.39 €

Contribution La Mod lisation Num rique de la R ponse Sismique Abdelghani Seghir

In brossura

64.39 €

Towards Ancestral Lands Fir Bolg

CD audio

21.69 €

Der Europäische Verfassungsvertrag Klemens H. Fischer

In brossura

87.99 €

Belluguets, Carlota, la granota, Educació Infantil, 3 anys. 3 trimestre Anna Gassó Jimeno

In brossura

11.09 €

Huculskie peregrynacje weselne Świątek Adrianna

In brossura

18.89 €

Airport Simulator 2019 (PlayStation PS4)

CD digitale

35.09 €

Love & Passion Jana Reich

In brossura

22.59 €

Pfadfinder Majo Probst

In brossura

23.39 €

Mediunidade Trevas Ou Luz Ricardo Max

In brossura

8.89 €

Encens Satya Super hit - 10 grs

binding.

2.69 €

Concevoir des espaces scolaires pour le bien-être et la réussite Mazalto

In brossura

23.29 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

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 Verified Software: Theories, Tools and Experiments

Autore Dimitra Giannakopoulou, Daniel Kroening

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2014

Numero di pagine 287

EAN 9783319121536

ISBN 3319121537

Codice Libristo 06841788

Casa editrice Springer International Publishing AG

Peso 4569

Dimensioni 155 x 235 x 15

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 > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

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

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