SULJE VALIKKO

avaa valikko

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 (ed.); Cong Tian (ed.); Shaoying Liu (ed.); Zhenhua Duan (ed.)
Springer (2020)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer and Information Science 2009
Roger Lee (ed.); Gongzu Hu (ed.); Huaikou Miao (ed.)
Springer (2009)
Kovakantinen kirja
134,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods and Software Engineering - 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, Chin
Chris George; Huaikou Miao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2002)
Pehmeäkantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer and Information Science 2009
Roger Lee (ed.); Gongzu Hu (ed.); Huaikou Miao (ed.)
Springer (2010)
Pehmeäkantinen kirja
134,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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)
Pehmeäkantinen kirja
43,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5,
51,40 €
Springer
Sivumäärä: 364 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2020, 20.02.2020 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5,zoom
Näytä kaikki tuotetiedot
ISBN:
9783030414177
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste