Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Zistiť stav objednávky

Kontaktujte nás

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

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer Nature Switzerland AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.13 €

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

Informácie o knihe

Autor

Zhenhua Duan, Shaoying Liu, Fumiko Nagoya, Cong Tian

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2019

Stránok

197

EAN

9783030136505

Enbook ID

21284279

Vydavateľ

Springer Nature Switzerland AG

Hmotnosť

326

Rozmery

155 x 235 x 12

Kompletný popis

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.