Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris,...

— —

Shaoying Liu Zhenhua Duan

Structured Object-Oriented Formal Language and Method

Name: Structured Object-Oriented Formal Language and Method
Price: 101.37 AUD
Availability: OutOfStock
ISBN: 9783319312194

5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected...

Shaoying Liu, Zhenhua Duan

$126.95 $101.37

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We will update you on expected arrival time to us. If this delay is too long, please let us know within 2 business days and we can give you options regarding cancelling or adjusting your order. More details on cancelling your order can be found in our Terms of Trade.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer International Publishing AG
13 March 2016

Object-oriented programming (OOP)

Series: Lecture Notes in Computer Science

This book constitutes the thoroughly refereed post-workshop proceedings

of the 5th International Workshop on Structured Object-Oriented Formal

Language and Method, SOFL+MSVL 2015, held in Paris, France, in

November 2015. The 15 papers presented in this volume were carefully

reviewed and selected from 22 submissions. The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.

Edited by: Shaoying Liu, Zhenhua Duan
Imprint: Springer International Publishing AG
Country of Publication: Switzerland
Edition: 1st ed. 2016
Volume: 9559
Dimensions: Height: 235mm, Width: 155mm, Spine: 12mm
Weight: 3.518kg
ISBN: 9783319312194
ISBN 10: 3319312197
Series: Lecture Notes in Computer Science
Pages: 219
Publication Date: 13 March 2016
Audience: College/higher education , Professional and scholarly , Further / Higher Education , Undergraduate
Format: Paperback
Publisher's Status: Active

Modeling and Specification.- Testing and Debugging.- Model Checking and Verification.- Algorithm and Transformation.