Fumiko Nagoya - Böcker
Visar alla böcker från författaren Fumiko Nagoya. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 11392 - Lecture Notes in Computer Science
Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Häftad, Engelska, 2019
552 kr
Skickas inom 10-15 vardagar
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.
Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Häftad, Engelska, 2021
552 kr
Skickas inom 10-15 vardagar
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.
Del 10189 - Lecture Notes in Computer Science
Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Häftad, Engelska, 2017
552 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions.
Del 10795 - Lecture Notes in Computer Science
Structured Object-Oriented Formal Language and Method
7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. model checking;