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

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

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 Nature Switzerland AG
SKU: 24971044
Price: 50.99 EUR
Availability: InStock
Author: Nan Guan
ISBN: 9783030355395

5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings

Nan Guan

Joost-Pieter Katoen

Jun Sun

Lingua

Inglese

Libro In brossura

Codice Libristo: 24971044

Casa editrice Springer Nature Switzerland AG, novembre 2019

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engi... Descrizione completa

Codice Libristo: 24971044

125 b

50.99 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Weltgeschichte Fur Das Deutsche Volk F. C. Schlosser

In brossura

30.89 €

Gründliche Anweisung Vögel auszustopfen und besonders gut zu conserviren Adam Friedrich Böhme

In brossura

19.49 €

Palabras para armar tu canto Ramón Iván Suárez Caamal

In brossura

15.29 €

Little Barbara (Traditional Chinese): 08 Tongyong Pinyin with IPA Paperback Color H y Xiao Phd

In brossura

28.19 €

Atlante Tematico Di Topografia Antica 28-2018: Roma, Urbanistica, Porti, Insediamenti E Viabilita Stefania Quilici Gigli

In brossura

309.29 €

TEATRO SOCIAL BREVE MARIBEL RODRIGUEZ GOROSTIZA

Rigido

23.19 €

LOS EFECTOS DE LA RELIGIÓN EN LA CONFIGURACIÓN DE LAS RELACIONES INTERNACIONALES Bashir Rodwan Abdallah Al Fogohi

In brossura

48.39 €

CARS - Mon Histoire du soir - L'histoire du film - Disney Pixar Disney

In brossura

4.69 €

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities.