Cantitate/Preț
Produs
Total produse
Vezi coșul
Structured Object-Oriented Formal Language and Method de Cong Tian

Structured Object-Oriented Formal Language and Method: Lecture Notes in Computer Science, cartea 10795

Editat de Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
en Limba Engleză Paperback – 18 apr 2018
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (3) 31747 lei  43-57 zile
  Springer – 9 feb 2019 31747 lei  43-57 zile
  Springer – 18 apr 2018 31869 lei  43-57 zile
  Springer – 21 apr 2017 31970 lei  43-57 zile

Din seria Lecture Notes in Computer Science

Preț: 31869 lei

Preț vechi: 39837 lei
-20%

Puncte Express: 478
Preț estimativ în valută:
5635€ • 6462$ • 4870£

Carte tipărită la comandă

Livrare economică 27 aprilie-11 mai

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783319901039
ISBN-10: 3319901036
Pagini: 232
Ilustrații: X, 219 p. 66 illus.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.36 kg
Ediția:1st ed. 2018
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

Animation and prototyping.- Graph theory.- Model checking.- Modeling and specification.- Verification and validation.

Caracteristici

Includes supplementary material: sn.pub/extras Includes supplementary material: sn.pub/extras