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 Psychiatry Interrogated by
Cover of the book Raw Materials Substitution Sustainability by
Cover of the book Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 by
Cover of the book Radical Origins to Economic Crises by
Cover of the book Introduction to Distributed Computer Systems by
Cover of the book Advances in ICT for Business, Industry and Public Sector by
Cover of the book Recent Advances in Information Systems and Technologies by
Cover of the book Resource Booms and Institutional Pathways by
Cover of the book Uncertainty Quantification by
Cover of the book 9/11 in European Literature by
Cover of the book Web Information Systems Engineering – WISE 2016 by
Cover of the book Neuroendocrine Tumors in Real Life by
Cover of the book Modern Subjectivities in World Society by
Cover of the book Restorying Environmental Education by
Cover of the book Historical Epistemology of Space 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