Menu
Află starea comenzii
Contactați-ne
Carte Engineering Trustworthy Software Systems Zhiming Liu

Engineering Trustworthy Software Systems

First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Autor: Zhiming Liu, Zili Zhang
Limbă: engleză
Legare: Carte broșată
Editura: Springer International Publishing AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.38 lei
This volume contains the lecture notes of the courses given at the School on Engineering Trustworthy...

Informații despre carte

Autor
Zhiming Liu, Zili Zhang
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2016
Pagini
325
EAN
9783319296272
ISBN
3319296272
Enbook ID
02896197
Editura
Springer International Publishing AG
Greutate
5153
Dimensiuni
155 x 235 x 20

Descriere completă

This volume contains the lecture notes of the courses given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in the week 8{13 September 2014 at Southwest University in Chongqing, China. This volume contains the lecture notes of the five courses and materials of one seminar. The school was aimed at postgraduate students, researchers, academics and industrial engineers who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modelling, analysis and verification.

S-ar putea să te intereseze

Image Analysis and Processing - ICIAP 2017

Sebastiano Battiato
277.38 lei

Reform and Leadership in the Public Sector

Joe L Wallis
707.18 lei

Music in the Nineteenth Century

Taruskin
716.88 lei

Regional Australia and the Great War

Philip Payton
302.36 lei

History of England from the Conclusion of the Great War in 1815.

Spencer Walpole
168.87 lei

New Approaches to the Personhood in Law

Tomasz Pietrzykowski
276.88 lei

Honest Abe

Edith Kunhardt
38.32 lei

National Hymns

Richard Grant White
87.16 lei

Sea Change: A Man, a Boat, and a Journey Home

Maxwell Taylor Kennedy
73.51 lei

In Space

HAMISH ROBERTSON
129.54 lei

Clienții care au cumpărat această carte au mai cumpărat și

Agite - Lehrgang Latein als zweite Fremdsprache

Jörgen Vogel
116.49 lei

TGAU CBAC Canllaw Adolygu Mathemateg Uwch

Keith Pledger
108.20 lei

PAPIERS DE VOYAGES

GILBERT
110.93 lei