[email protected] Risponderemo entro 24 ore

[email protected]

Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €

BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Dependable Software Engineering: Theories, Tools, and Applications

Name: Dependable Software Engineering: Theories, Tools, and Applications
Brand: Springer International Publishing AG
SKU: 09545820
Price: 72.67 EUR
Availability: InStock

Xuandong Li

Zhiming Liu

Wang Yi

Lingua

Inglese

Libro In brossura

Codice Libristo: 09545820

Casa editrice Springer International Publishing AG, ottobre 2015

This book constitutes the refereed proceedings of the First International Symposium on Dependable So... Descrizione completa

Codice Libristo: 09545820

172 b

72.67 €

Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Lyotard, Beckett, Duras, and the Postmodern Sublime Andrew Slade

/ Rigido

79.52 €

Focus AmE 2 Class CDs Vaughan Jones

/ Audio

33.81 €

Book of Proverbs in Plain English Frank Larosa

/ Rigido

37.56 €

Colt Under the Wire Lenora Swiger

/ In brossura

23.11 €

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.§§The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.§

Informazioni sul libro

Titolo completo Dependable Software Engineering: Theories, Tools, and Applications

Autore Xuandong Li, Zhiming Liu, Wang Yi

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2015

Numero di pagine 317

EAN 9783319259413

ISBN 3319259415

Codice Libristo 09545820

Casa editrice Springer International Publishing AG

Peso 5153

Dimensioni 155 x 235 x 18

Categorie

Informatica e Tecnologia dell’Informazione > Applicazioni grafiche e multimediali > Grafica e modellazione 3D

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

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Consegna

Guida all'acquisto