Ebook > Naturwissenschaft > Informatik > Anwendungs-Software > Zhenhua Duan & Shaoying Liu: Structured Object-Oriented Formal Language and Method (ePUB)

Zhenhua Duan & Shaoying Liu
Structured Object-Oriented Formal Language and Method [EPUB ebook]
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

Support

Cover von Zhenhua Duan & Shaoying Liu: Structured Object-Oriented Formal Language and Method (ePUB)

This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking.

€56.38

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format EPUB ● ISBN 9783319577081 ● Herausgeber Zhenhua Duan & Shaoying Liu ● Verlag Springer International Publishing ● Erscheinungsjahr 2017 ● herunterladbar 3 mal ● Währung EUR ● ID 6210527 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Zhenhua Duan Shaoying Liu Fumiko Nagoya Cong Tian

16.459 Ebooks in dieser Kategorie

Cover von Richard Urwin: Artificial Intelligence for Developers in easy steps

Richard Urwin: Artificial Intelligence for Developers in easy steps

Artificial Intelligence for Developers in easy steps is for coders who want to enhance their skillset quickly and easily. Artificial Intelligence (AI) is here to stay, and this guide reveals how AI …

Cover von Various: Programming Kotlin

Various: Programming Kotlin

Explore the world of Kotlin with this curated collection. Designed for both beginners and experienced developers, this bundle offers essential knowledge and practical skills for developing …

Cover von Di Wu: Data Mining with Python

Di Wu: Data Mining with Python

Data is everywhere and it s growing at an unprecedented rate. But making sense of all that data is a challenge. Data Mining is the process of discovering patterns and knowledge from large data sets, …

Cover von Pankaj Kumar: Building Android Projects with Kotlin

Pankaj Kumar: Building Android Projects with Kotlin

As an ambitious Kotlin programmer or Android developer, are you frequently baffled by the options available to do a specific task? Or why a single solution is superior to the others for doing this …

Cover von C. Ravindranath Pandian: Software Metrics

C. Ravindranath Pandian: Software Metrics

<P> The modern field of software metrics emerged from the computer modeling and ’statistical thinking‘ services of the 1980s. As the field evolved, metrics programs were integrated with project …

Cover von Vimal Kumar & Shashwat Pathak: Python Programming

Vimal Kumar & Shashwat Pathak: Python Programming

Maintaining a practical perspective, Python Programming: A Practical Approach acquaints you with the wonderful world of programming. The book is a starting point for those who want to learn Python pr …

Cover von Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Getting Started for Internet of Things with Launch Pad and ESP8266 provides a platform to get started with the Ti launch pad and Io T modules for Internet of Things applications. The book provides …

Cover von Li Yan: Handbook of Research on Innovative Database Query Processing Techniques

Li Yan: Handbook of Research on Innovative Database Query Processing Techniques

Cover von Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

Cover von Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. This book aims at …

nächste Seite >>>