bokomslag Structured Object-Oriented Formal Language and Method
Data & IT

Structured Object-Oriented Formal Language and Method

Shaoying Liu Zhenhua Duan Cong Tian Fumiko Nagoya

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 239 sidor
  • 2017
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.
  • Författare: Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
  • Illustratör: Bibliographie
  • Format: Pocket/Paperback
  • ISBN: 9783319577074
  • Språk: Engelska
  • Antal sidor: 239
  • Utgivningsdatum: 2017-04-21
  • Förlag: Springer International Publishing AG