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.).

By:

(8th : SOFL+MSVL (Workshop) (8th : 2018 : Gold Coast, Qld.)

Contributor(s):

Material type: Text

TextSeries: Lecture notes in computer science ; 11392. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Cham, Switzerland : Springer, 2019Description: 1 online resource (viii, 197 pages) : illustrations (some color)Content type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783030136512
3030136515
9783030136529
3030136523

Other title:

SOFL+MSVL 2018

Subject(s):

Genre/Form:

Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:

005.1 23

LOC classification:

QA76.9.L63

Online resources:

Click here to access online

Contents:

Programming and testing -- Verification and validation -- Semantics -- Blockchain.

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.

Holdings ( 1 )
Title notes ( 4 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library	eBook LNCS		Available

Total holds: 0

Includes author index.

Online resource; title from PDF title page (SpringerLink, viewed March 11, 2019).

Programming and testing -- Verification and validation -- Semantics -- Blockchain.

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.