Huaikou Miao | Akateeminen Kirjakauppa

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

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 €

COMPUTER AND INFORMATION SCIENCE 2009

Roger Lee; Gongzu Hu; Huaikou Miao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Saatavuus: Tilaustuote
Kovakantinen kirja

129,90 €

FORMAL METHODS AND SOFTWARE ENGINEERING : 4TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2002, SHANGHAI, CHIN

Chris George (ed.); Huaikou Miao (ed.)
Springer (2002)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

COMPUTER AND INFORMATION SCIENCE 2009

Roger Lee; Gongzu Hu; Huaikou Miao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

129,90 €

TESTBEDS AND RESEARCH INFRASTRUCTURES FOR THE DEVELOPMENT OF NETWORKS AND COMMUNITIES : 13TH EAI INTERNATIONAL CONFERENCE, TRIDE

Honghao Gao (ed.); Yuyu Yin (ed.); Xiaoxian Yang (ed.); Huaikou Miao (ed.)
Springer (2019)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

41,90 €

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

49,60 €

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

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus