Foto dell'editore

Verified Software: Theories, Tools and Experiments

Dimitra Giannakopoulou

Editore: Springer-Verlag Gmbh Dez 2014, 2014
ISBN 10: 3319121537 / ISBN 13: 9783319121536
Nuovi / Taschenbuch / Quantità: 2
Da Rhein-Team Lörrach Ivano Narducci e.K. (Lörrach, Germania)
Copie del libro da altre librerie
Mostra tutte le  copie di questo libro
Aggiungere al carrello
Prezzo consigliato:
Prezzo: EUR 51,36
Convertire valuta
Spedizione: EUR 12,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Lista dei preferiti

Libro

Dati bibliografici


Titolo: Verified Software: Theories, Tools and ...

Casa editrice: Springer-Verlag Gmbh Dez 2014

Data di pubblicazione: 2014

Legatura: Taschenbuch

Condizione libro: Neu

Descrizione:

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. 287 pp. Englisch. Codice inventario libreria 9783319121536

Su questo libro:

Book ratings provided by GoodReads):
0 valutazione media
(0 valutazioni)

Riassunto: 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 "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Info su libreria e pagamento

Metodi di pagamento

La libreria accetta i seguenti metodi di pagamento:

  • American Express
  • Assegno
  • Carte Bleue
  • Mastercard
  • PayPal
  • Visa

[Cercare nel catalogo della libreria]

[Tutti i libri della libreria]

[Fare una domanda alla libreria]

Libreria: Rhein-Team Lörrach Ivano Narducci e.K.
Indirizzo: Lörrach, Germania

Libreria AbeBooks dal: 11 gennaio 2012
Valutazione libreria: 5 stelle

Condizioni di vendita:

Allgemeine Geschäftsbedingungen (abebooks.de)

Rhein-Team Lörrach, Inhaber Ivano Narducci e.K., Mühlestr. 1
D-79539 Lörrach, nachfolgend als Verkäufer bezeichnet.

§ 1 Allgemeines, Begriffsbestimmungen

(1) Der Verkäufer bietet unter dem Nutzernamen rhein-team unter der Plattform abebooks.de insbesondere Bücher an. Die folgenden Allgemeinen Geschäftsbedingungen (AGB) gelten für die Geschäftsbeziehung zwischen dem Verkäufer und dem Kunden in ihrer zum Zeitpunkt der Bestellung gültigen Fassung. Ferne...

[Ulteriori informazioni]

Condizioni di spedizione:

Die Ware wird innerhalb von 1-3 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbestätigung. Die Versandkostenpauschalen basieren auf Durchschnittswerten für 1 kg schwere Bücher. Über abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verkäufer informiert.