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 Integrative Medicine for Breast Cancer by
Cover of the book Multi-Market Antitrust Economics by
Cover of the book Rapid Urbanisation, Urban Food Deserts and Food Security in Africa by
Cover of the book Inclusive Governance in South Asia by
Cover of the book Wind Field and Solar Radiation Characterization and Forecasting by
Cover of the book Advances in Hybridization of Intelligent Methods by
Cover of the book Reviews of Environmental Contamination and Toxicology Volume 237 by
Cover of the book Return to the Far Side of Planet Moore! by
Cover of the book Italy’s Top Products in World Trade by
Cover of the book Road Tunnels by
Cover of the book Thomas Robert Malthus by
Cover of the book The Sudoku Effect: Universities in the Vicious Circle of Bureaucracy by
Cover of the book US Foreign Policy and the Multinational Force in Lebanon by
Cover of the book Importing EU Norms by
Cover of the book Intergroup Helping 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