Articoli correlati a Verified Software: Theories, Tools and Experiments:...

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers: 8471 - Brossura

 
9783319121536: Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers: 8471
Brossura
ISBN 10: 3319121537 ISBN 13: 9783319121536
Casa editrice: Springer, 2014
Vedi tutte le copie di questo ISBN:
 
 
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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti:
Analysis: understanding and explanation.- Verification frameworks and applications.- Hypervisors and dynamic data structures.- Certification.- Real time and security.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

Immagini fornite dal venditore

Editore: Springer (2014)
ISBN 10: 3319121537 ISBN 13: 9783319121536
Nuovo Soft Cover Quantità: 1
Da:
booksXpress
(Bayonne, NJ, U.S.A.)
Valutazione libreria
Valutazione venditore: 4 stelle, Learn more about seller ratings

Descrizione libro Soft Cover. Condizione: new. Codice articolo 9783319121536

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 53,07
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Editore: Springer (2014)
ISBN 10: 3319121537 ISBN 13: 9783319121536
Nuovo Brossura Quantità: 19
Da:
Lucky's Textbooks
(Dallas, TX, U.S.A.)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. Codice articolo ABLIING23Mar3113020088780

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 56,93
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,72
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Dimitra Giannakopoulou
Editore: Springer (2014)
ISBN 10: 3319121537 ISBN 13: 9783319121536
Nuovo Brossura Quantità: > 20
Print on Demand
Da:
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9783319121536_lsuk

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 54,14
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,64
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Giannakopoulou, Dimitra
Editore: Springer 2014-10 (2014)
ISBN 10: 3319121537 ISBN 13: 9783319121536
Nuovo PF Quantità: 10
Da:
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro PF. Condizione: New. Codice articolo 6666-IUK-9783319121536

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 49,25
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 17,48
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Editore: Springer (2014)
ISBN 10: 3319121537 ISBN 13: 9783319121536
Nuovo Brossura Quantità: 4
Da:
Books Puddle
(New York, NY, U.S.A.)
Valutazione libreria
Valutazione venditore: 4 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. Codice articolo 26356856472

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 65,85
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,72
In U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

Daniel Kroening
ISBN 10: 3319121537 ISBN 13: 9783319121536
Nuovo Taschenbuch Quantità: 2
Print on Demand
Da:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Germania)
Valutazione libreria
Valutazione venditore: 4 stelle, Learn more about seller ratings

Descrizione libro Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 300 pp. Englisch. Codice articolo 9783319121536

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 51,36
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 23,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Editore: Springer (2014)
ISBN 10: 3319121537 ISBN 13: 9783319121536
Nuovo Brossura Quantità: 4
Print on Demand
Da:
Majestic Books
(Hounslow, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. Print on Demand. Codice articolo 355634503

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 70,04
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,58
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Giannakopoulou, Dimitra (Editor) / Kroening, Daniel (Editor)
Editore: Springer (2014)
ISBN 10: 3319121537 ISBN 13: 9783319121536
Nuovo Paperback Quantità: 2
Da:
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Paperback. Condizione: Brand New. 2014 edition. 275 pages. 9.30x6.20x0.79 inches. In Stock. Codice articolo x-3319121537

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 70,83
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,66
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

Daniel Kroening
ISBN 10: 3319121537 ISBN 13: 9783319121536
Nuovo Taschenbuch Quantità: 1
Da:
AHA-BUCH GmbH
(Einbeck, Germania)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783319121536

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 55,99
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 32,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi