Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers /

Saved in:

Bibliographic Details
Meeting name:	SOFL+MSVL (Workshop) (6th : 2016 : Tokyo, Japan)
Imprint:	Cham, Switzerland : Springer, 2017.
Description:	1 online resource (x, 239 pages) : illustrations
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 10189 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 10189. LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Subject:	Formal methods (Computer science) -- Congresses. Object-oriented methods (Computer science) -- Congresses. Formal methods (Computer science) Object-oriented methods (Computer science) Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11273377

Hidden Bibliographic Details
Varying Form of Title:	SOFL+MSVL 2016
Other authors / contributors:	Liu, Shaoying, 1960- editor. Duan, Zhenhua, editor. Tian, Cong, editor. Nagoya, Fumiko, editor.
ISBN:	9783319577081 3319577085 9783319577074 3319577077
Digital file characteristics:	text file PDF
Notes:	Includes author index. Includes bibliographical references and author index. Online resource; title from PDF title page (SpringerLink, viewed April 25, 2017).
Summary:	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. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking.
Other form:	Print version: SOFL+MSVL (Workshop) (6th : 2016 : Tokyo, Japan). Structured object-oriented formal language and method. Cham, Switzerland : Springer, 2017 9783319577074 3319577077
Standard no.:	10.1007/978-3-319-57708-1

Similar Items