Structured Object-Oriented Formal Language and Method

8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Programming, Software Development, General Computing
Cover of the book Structured Object-Oriented Formal Language and Method by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783030136512
Publisher: Springer International Publishing Publication: April 18, 2019
Imprint: Springer Language: English
Author:
ISBN: 9783030136512
Publisher: Springer International Publishing
Publication: April 18, 2019
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Encrypted Email by
Cover of the book Child Street Life by
Cover of the book Palestine and Rule of Power by
Cover of the book Convolution Copula Econometrics by
Cover of the book An Introduction to Structural Mechanics for Architects by
Cover of the book Multifunctional Land-Use Systems for Managing the Nexus of Environmental Resources by
Cover of the book Recent Results on Time-Delay Systems by
Cover of the book Intelligent Systems Technologies and Applications by
Cover of the book Work–Family Interface in Sub-Saharan Africa by
Cover of the book Interprofessional Education in Patient-Centered Medical Homes by
Cover of the book MultiMedia Modeling by
Cover of the book Anthrozoology by
Cover of the book Food Hygiene and Applied Food Microbiology in an Anthropological Cross Cultural Perspective by
Cover of the book Watsuji Tetsurô’s Global Ethics of Emptiness by
Cover of the book Nuclear Medicine Companion by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy