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 Hayek: A Collaborative Biography by
Cover of the book Effects of Magnetoelastic Interactions in Conductive Plates and Shells by
Cover of the book Foundations and Practice of Security by
Cover of the book Production of Ethanol from Sugarcane in Brazil by
Cover of the book Logistics Management by
Cover of the book Diabetes in Pregnancy by
Cover of the book Power Systems Resilience by
Cover of the book Handbook of the Sociology of Education in the 21st Century by
Cover of the book Informing Clinical Practice in Nephrology by
Cover of the book Patterns and Mechanisms of Climate, Paleoclimate and Paleoenvironmental Changes from Low-Latitude Regions by
Cover of the book East Asian Mothers in Britain by
Cover of the book The Hardware Trojan War by
Cover of the book Text, Speech, and Dialogue by
Cover of the book Beyond Standard Model Phenomenology at the LHC by
Cover of the book Dynamics of Parallel Robots 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