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 Wireless Sensor Networks by
Cover of the book Future Internet Technologies and Trends by
Cover of the book Advances in Global Optimization by
Cover of the book Children and Forced Migration by
Cover of the book Electrical Design of a 400 kV Composite Tower by
Cover of the book Implementing Sustainability in the Curriculum of Universities by
Cover of the book The Philosophical Background and Scientific Legacy of E. B. Titchener's Psychology by
Cover of the book Remembering Queens and Kings of Early Modern England and France by
Cover of the book Fundamentals of Ultrasonic Nondestructive Evaluation by
Cover of the book The Front National in France by
Cover of the book Rethinking Fisheries Governance by
Cover of the book Galois Theory Through Exercises by
Cover of the book Graphene-Based Polymer Nanocomposites in Electronics by
Cover of the book Advances in Databases and Information Systems by
Cover of the book Microbial Ecology of Extreme Environments 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