Zhiming Liu (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?

DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS : FIRST INTERNATIONAL SYMPOSIUM, SETTA 2015, NANJING, CHINA,

Xuandong Li (ed.); Zhiming Liu (ed.); Wang Yi (ed.)
Springer (2015)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

47,70 €

DOMAIN MODELING AND THE DURATION CALCULUS : INTERNATIONAL TRAINING SCHOOL, SHANGHAI, CHINA, SEPTEMBER 17-21, 2007, ADVANCED LECT

Chris George (ed.); Zhiming Liu (ed.); Jim Woodcock (ed.)
Springer (2007)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS : ESSAYS IN HONOUR OF DINES BJORNER AND ZHOU CHAOCHEN ON THE OCCASION OF THEIR 70TH

Cliff B. Jones (ed.); Zhiming Liu (ed.); Jim Woodcock (ed.)
Springer (2007)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

THEORETICAL ASPECTS OF COMPUTING – ICTAC 2022 : 19TH INTERNATIONAL COLLOQUIUM, TBILISI, GEORGIA, SEPTEMBER 27–29, 2022, PROCEEDI

Helmut Seidl (ed.); Zhiming Liu (ed.); Corina S. Pasareanu (ed.)
Springer (2022)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China,

Xuandong Li (ed.), Zhiming Liu (ed.), Wang Yi (ed.)

47,70 €

Springer
Sivumäärä: 317 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2015, 27.10.2015 (lisätietoa)
Kieli: Englanti

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus