Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

Zjistit 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:

Vazba: Brožovaná

Vydavatel: Springer Nature Switzerland AG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Zhenhua Duan, Shaoying Liu, Fumiko Nagoya, Cong Tian

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2019

Stránek

197

EAN

9783030136505

Enbook ID

21284279

Vydavatel

Springer Nature Switzerland AG

Hmotnost

326

Rozměry

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.