Structured Object-Oriented Formal Language and Method Image close
Structured Object-Oriented Formal Language and Method
Structured Object-Oriented Formal Language and Method
Show Hide Adult Content
Structured Object-Oriented Formal Language and Method close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Object-oriented programming (OOP)

Structured Object-Oriented Formal Language and Method

7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$150.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.50 with Afterpay Learn more

6 weekly interest-free payments of $25.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 24 Jun - 4 Jul using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Euro-Par 2019: Parallel Processing Workshops
$289.00
Euro-Par 2019: Parallel Processing Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logistics
$191.00
Computational Logistics
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Software Science and Computational Structures
$151.00
Foundations of Software Science and Computational Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Dependable Computing
$148.00
Dependable Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Relational and Algebraic Methods in Computer Science
$154.00
Relational and Algebraic Methods in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$137.00
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Models of Strategic Reasoning
$150.00
Models of Strategic Reasoning
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation
$153.00
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Specification, Algebra, and Software
$161.00
Specification, Algebra, and Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Grid and Pervasive Computing
$148.00
Advances in Grid and Pervasive Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Petri Nets and Other Models of Concurrency - ICATPN 2006
$153.00
Petri Nets and Other Models of Concurrency - ICATPN 2006
Paperback / softback
Available - Usually ships in 3-4 weeks
Modular Ontologies
$152.00
Modular Ontologies
Paperback / softback
Available - Usually ships in 3-4 weeks
Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
$296.00
Frontiers of High Performance Computing and Networking - ISPA 2007...
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science -- ICCS 2005
$314.00
Computational Science -- ICCS 2005
Paperback / softback
Available - Usually ships in 3-4 weeks
Implementation and Application of Functional Languages
$191.00
Implementation and Application of Functional Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Neural Information Processing
$263.00
Neural Information Processing
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
April 18th, 2018
Contributors
  • Edited by Cong Tian
  • Edited by Fumiko Nagoya
  • Edited by Shaoying Liu
  • Edited by Zhenhua Duan
Pages
219
Edition
1st ed. 2018
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
66 Illustrations, black and white; X, 219 p. 66 illus.
ISBN-13
9783319901039
Product ID
27808213

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Object-oriented programming (OOP)
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering