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 A Conceptual and Therapeutic Analysis of Fear by
Cover of the book Toward Robotic Socially Believable Behaving Systems - Volume II by
Cover of the book Pattern Recognition by
Cover of the book The Repressed Memory Epidemic by
Cover of the book Information Fusion for Cyber-Security Analytics by
Cover of the book Software Engineering and Formal Methods by
Cover of the book Databases and Information Systems by
Cover of the book Pediatric Orthopedic Deformities, Volume 1 by
Cover of the book Millimeter-Wave Power Amplifiers by
Cover of the book Cliometrics of the Family by
Cover of the book Enhanced Surface Imaging of Crustal Deformation by
Cover of the book A Tributary Model of State Formation by
Cover of the book The Cleveland Clinic Manual of Headache Therapy by
Cover of the book The Economics of Addictive Behaviours Volume IV by
Cover of the book Big Data Integration Theory 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