Structured Object-Oriented Formal Language and Method (inbunden)
Fler böcker inom
Format
E-bok
Filformat
EPUB med LCP-kryptering (0.0 MB)
Om LCP-kryptering
Nedladdning
Kan laddas ned under 24 månader, dock max 6 gånger.
Språk
Engelska
Utgivningsdatum
2019-03-11
Förlag
Springer International Publishing
ISBN
9783030136512

Structured Object-Oriented Formal Language and Method E-bok

8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

av Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
E-bok (LCP),  Engelska, 2019-03-11
749
Ladda ned
Spara som favorit
Läs i Bokus Reader för iOS och Android
Finns även som
Visa alla 1 format & utgåvor
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.
Visa hela texten

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya

Du kanske gillar