你好! 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
2019
Language
English
Pages
208
Format
Paperback
Dimensions
23.4x15.6 cm
ISBN13
9783030136529

Structured Object-Oriented Formal Language and Method

Cong Tian;Shaoying Liu;Zhenhua Duan (Author) · Springer Nature B.V. · Paperback

Structured Object-Oriented Formal Language and Method - Cong Tian;Shaoying Liu;Zhenhua Duan

New Book Imported to Taiwan
Delivery: 01 Oct - 14 Oct Shipping: 11 to 15 business days.
NT$ 2,100
NT$ 2,100

Synopsis "Structured Object-Oriented Formal Language and Method"

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.

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