你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada Structured Object-Oriented Formal Language and Method
Type
Physical Book
Year
2018
Language
English
Pages
232
Format
Paperback
Dimensions
23.4x15.6 cm
ISBN13
9783319901053

Structured Object-Oriented Formal Language and Method

Cong Tian;Fumiko Nagoya;Shaoying Liu (Author) · Springer Nature B.V. · Paperback

Structured Object-Oriented Formal Language and Method - Cong Tian;Fumiko Nagoya;Shaoying Liu

New Book Imported to Taiwan
Delivery: 29 Sep - 12 Oct Shipping: 11 to 15 business days.
NT$ 2,096
NT$ 2,096

Synopsis "Structured Object-Oriented Formal Language and Method"

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017.

The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews