KIRJAUDU

ostoskori

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Zhenhua Duan | Akateeminen Kirjakauppa

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

FORMAL METHODS AND SOFTWARE ENGINEERING - 19TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2017, XI'AN, CHINA,

Zhenhua Duan; Luke Ong
Springer International Publishing AG (2017)
Pehmeäkantinen kirja

49,60 €

STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD - 8TH INTERNATIONAL WORKSHOP, SOFL+MSVL 2018, GOLD COAST, QLD, AUSTRALIA,

Zhenhua Duan; Shaoying Liu; Cong Tian; Fumiko Nagoya
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

49,60 €

THEORY AND APPLICATIONS OF MODELS OF COMPUTATION - 5TH INTERNATIONAL CONFERENCE, TAMC 2008, XI'AN, CHINA, APRIL 25-29, 2008, PRO

Manindra Agrawal; Ding-Zhu Du; Zhenhua Duan; Angsheng Li
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

97,90 €

STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD - THIRD INTERNATIONAL WORKSHOP, SOFL+MSVL 2013, QUEENSTOWN, NEW ZEALAND, O

Shaoying Liu; Zhenhua Duan
Springer International Publishing AG (2014)
Pehmeäkantinen kirja

49,60 €

STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD - 4TH INTERNATIONAL WORKSHOP, SOFL+MSVL 2014, LUXEMBOURG, LUXEMBOURG, NOVE

Shaoying Liu; Zhenhua Duan
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

40,00 €

STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD - 5TH INTERNATIONAL WORKSHOP, SOFL+MSVL 2015, PARIS, FRANCE, NOVEMBER 6, 2

Shaoying Liu; Zhenhua Duan
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

49,60 €

STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD - 6TH INTERNATIONAL WORKSHOP, SOFL+MSVL 2016, TOKYO, JAPAN, NOVEMBER 15, 2

Shaoying Liu; Zhenhua Duan; Cong Tian; Fumiko Nagoya
Springer International Publishing AG (2017)
Pehmeäkantinen kirja

49,60 €

STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD - 7TH INTERNATIONAL WORKSHOP, SOFL+MSVL 2017, XI'AN, CHINA, NOVEMBER 16, 2

Cong Tian; Fumiko Nagoya; Shaoying Liu; Zhenhua Duan
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

49,60 €

COMPUTING AND COMBINATORICS - 25TH INTERNATIONAL CONFERENCE, COCOON 2019, XI'AN, CHINA, JULY 29–31, 2019, PROCEEDINGS

Ding-Zhu Du; Zhenhua Duan; Cong Tian
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

49,60 €

STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD - 9TH INTERNATIONAL WORKSHOP, SOFL+MSVL 2019, SHENZHEN, CHINA, NOVEMBER 5,

Huaikou Miao; Cong Tian; Shaoying Liu; Zhenhua Duan
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

49,60 €

STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD - 10TH INTERNATIONAL WORKSHOP, SOFL+MSVL 2020, SINGAPORE, MARCH 1, 2021, R

Jinyun Xue; Fumiko Nagoya; Shaoying Liu; Zhenhua Duan
Springer Nature Switzerland AG (2021)
Pehmeäkantinen kirja

49,60 €

STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD : 11TH INTERNATIONAL WORKSHOP, SOFL+MSVL 2022, MADRID, SPAIN, OCTOBER 24,

Shaoying Liu (ed.); Zhenhua Duan (ed.); Ai Liu (ed.)
Springer (2023)
Pehmeäkantinen kirja

54,40 €

CIVIL ENGINEERING AND ENERGY-ENVIRONMENT VOL 1 - PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON CIVIL ENGINEERING, ENVIRONME

Qingfei Gao; Zhenhua Duan
Taylor & Francis Ltd (2023)
Kovakantinen kirja

165,40 €

CIVIL ENGINEERING AND ENERGY-ENVIRONMENT VOL 2 - PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON CIVIL ENGINEERING, ENVIRONME

Qingfei Gao; Zhenhua Duan
Taylor & Francis Ltd (2023)
Kovakantinen kirja

165,40 €

CIVIL ENGINEERING AND ENERGY-ENVIRONMENT SET - PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON CIVIL ENGINEERING, ENVIRONMENT

Qingfei Gao; Zhenhua Duan
Taylor & Francis Ltd (2023)
Kovakantinen kirja

281,50 €

Hae lisää...

Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China,

Zhenhua Duan, Luke Ong

49,60 €

Springer International Publishing AG
Sivumäärä: 498 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2017
Julkaisuvuosi: 2017, 14.10.2017 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as veriﬁcation and validation, software engineering, formal speciﬁcation and modeling, software security, and software reliability.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus