EAN: 9783319901039

STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND ...

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.

Aktuelle Preise zur EAN 9783319901039

Produktinformationen zur 9783319901039