Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
-
- US$39.99
-
- US$39.99
출판사 설명
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.
장르
컴퓨터 및 인터넷
출시일
2019년
3월 11일
언어
EN
영어
길이
205
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
14.4
MB
Dependable Software Engineering. Theories, Tools, and Applications
2018년
Structured Object-Oriented Formal Language and Method
2020년
Fundamentals of Software Engineering
2019년
Software Engineering and Formal Methods
2017년
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016년
Formal Methods and Software Engineering
2018년
Structured Object-Oriented Formal Language and Method
2023년
Structured Object-Oriented Formal Language and Method
2020년
Computing and Combinatorics
2019년
Structured Object-Oriented Formal Language and Method
2018년
Formal Methods and Software Engineering
2017년
Structured Object-Oriented Formal Language and Method
2017년