KIRJAUDU

ostoskori

avaa valikko

Zhenhua Duan | Akateeminen Kirjakauppa

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

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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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)
Saatavuus: Tilaustuote
Kovakantinen kirja

162,30 €

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)
Saatavuus: Tilaustuote
Kovakantinen kirja

162,30 €

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

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

276,20 €

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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

40,00 €

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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

54,40 €

Hae lisää...

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

49,60 €

Springer Nature Switzerland AG
Sivumäärä: 197 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2019
Julkaisuvuosi: 2019, 09.02.2019 (lisätietoa)
Kieli: Englanti

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.
The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus