Jinyun Xue | Akateeminen Kirjakauppa

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

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

Jinyun Xue (ed.); Fumiko Nagoya (ed.); Shaoying Liu (ed.); Zhenhua Duan (ed.)
Springer (2021)
Pehmeäkantinen kirja

51,40 €

FRONTIERS IN ALGORITHMICS - THIRD INTERNATIONAL WORKSHOP, FAW 2009, HEFEI, CHINA, JUNE 20-23, 2009, PROCEEDINGS

Xiaotie Deng; John E. Hopcroft; Jinyun Xue
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

51,40 €

FORMAL ASPECTS OF COMPONENT SOFTWARE - 10TH INTERNATIONAL SYMPOSIUM, FACS 2013, NANCHANG, CHINA, OCTOBER 27-29, 2013, REVISED SE

José Luiz Fiadeiro; Zhiming Liu; Jinyun Xue
Springer International Publishing AG (2014)
Pehmeäkantinen kirja

51,40 €

Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, R

Jinyun Xue (ed.), Fumiko Nagoya (ed.), Shaoying Liu (ed.), Zhenhua Duan (ed.)

51,40 €

Springer
Sivumäärä: 205 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2021, 04.06.2021 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021.
The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.

Due to the Corona pandemic this event was held virtually.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus