Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Dependable Software Engineering. Theories, Tools, and Applications Nan Guan

Dependable Software Engineering. Theories, Tools, and Applications

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

Autor: Nan Guan, Joost-Pieter Katoen, Jun Sun
Język: Angielski
Oprawa: Miękka
Wydawca: Springer Nature Switzerland AG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
215.37 zł
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engi...

Informacje o książce

Autor
Nan Guan, Joost-Pieter Katoen, Jun Sun
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2019
strony
139
EAN
9783030355395
Enbook ID
24971044
Wydawca
Springer Nature Switzerland AG
Waga
454
Wymiary
155 x 235 x 9

Pełny opis

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.

Możesz być zainteresowany

Shake, Rattle, and Roll

Spencer Christian
59.61 zł

Life of a Lady Poet

Anastasia Writer
65.63 zł

Klienci, którzy kupili tę książkę, kupili również

Weltgeschichte Fur Das Deutsche Volk

F. C. Schlosser
130.28 zł

Palabras para armar tu canto

Ramón Iván Suárez Caamal
72.14 zł

TEATRO SOCIAL BREVE

MARIBEL RODRIGUEZ GOROSTIZA
111.13 zł

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

Disney
26.74 zł