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

Published Cham, Switzerland : Springer, 2019

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

Description 1 online resource (viii, 197 pages) : illustrations (some color) Series Lecture notes in computer science ; 11392 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 11392 LNCS sublibrary. SL 1, Theoretical computer science and general issues 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 Notes Includes author index Online resource; title from PDF title page (SpringerLink, viewed March 11, 2019) Subject Formal methods (Computer science) -- Congresses Object-oriented methods (Computer science) -- Congresses Formal methods (Computer science) Object-oriented methods (Computer science) Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Duan, Zhenhua, editor Liu, Shaoying, 1960- editor Tian, Cong, editor Nagoya, Fumiko, editor ISBN 9783030136512 3030136515 9783030136529 3030136523

Other Titles SOFL+MSVL 2018

  Permalink