Peste 4 milioane de titluri în engleză și alte limbi! Descoperă-ți noua poveste astăzi!

Află starea comenzii

Contactați-ne

Structured Object-Oriented Formal Language and Method

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

Autor: Zhenhua Duan, Shaoying Liu, Fumiko Nagoya, Cong Tian

Limbă:

Legare: Carte broșată

Editura: Springer Nature Switzerland AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

275.89 lei

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop...

Informații despre carte

Autor

Zhenhua Duan, Shaoying Liu, Fumiko Nagoya, Cong Tian

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2019

Pagini

197

EAN

9783030136505

Enbook ID

21284279

Editura

Springer Nature Switzerland AG

Greutate

326

Dimensiuni

155 x 235 x 12

Descriere completă

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.