Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers / Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.).
2019
QA76.9.L63
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers / Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.).
Meeting Name
SOFL+MSVL (Workshop) (8th : 2018 : Gold Coast, Qld.)
ISBN
9783030136512 (electronic book)
3030136515 (electronic book)
9783030136505
3030136515 (electronic book)
9783030136505
Published
Cham, Switzerland : Springer, 2019.
Language
English
Description
1 online resource (viii, 197 pages) : illustrations.
Item Number
10.1007/978-3-030-13651-2 doi
Call Number
QA76.9.L63
Dewey Decimal Classification
005.1
Summary
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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed March 11, 2019).
Added Author
Duan, Zhenhua, editor.
Liu, Shaoying, 1960- editor.
Tian, Cong, editor.
Nagoya, Fumiko, editor.
Liu, Shaoying, 1960- editor.
Tian, Cong, editor.
Nagoya, Fumiko, editor.
Series
Lecture notes in computer science ; 11392.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Print version: : 9783030136505
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Programming and testing
Verification and validation
Semantics
Blockchain.
Verification and validation
Semantics
Blockchain.