Home Structured Object-Oriented Formal Language and Method: Third International Workshop, Sofl+msvl 2013, Queenstown, New Zealand, October 29, 2013, Revise by Shaoying Liu (Editor); Zhenhua Duan (Editor) (ISBN: 9783319049144)

Stock photo: cover may vary

Structured Object-Oriented Formal Language and Method: Third International Workshop, Sofl+msvl 2013, Queenstown, New Zealand, October 29, 2013, Revise Paperback - 2014

Name: Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013,…
Price: 53.97 GBP
Availability: InStock
ISBN: 9783319049144

by Shaoying Liu (Editor); Zhenhua Duan (Editor)

Add to wish list

Browse more copies for sale ↓

Reader reviews for Structured Object-Oriented Formal Language and Method: Third International Workshop, Sofl+msvl 2013, Queenstown, New Zealand, October 29, 2013, Revise

Write a review for this book

Important Terms and Guidelines

Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
Reviews must be at least 140 characters in length.
Please do not reveal critical plot elements.
This is not a help line. Contact customer support if you need help.

Your review must not include:

Obscenities, discriminatory language, or other insulting language not suitable for public domain
Advertisements, “spam” content, or references to other products, offers or websites.
Email addresses, URLs, phone numbers, physical addresses or other contact information.
Overly critical comments about other reviews or reviewers
Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
Availability, price, or alternative ordering/shipping information

From the publisher

This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application.

Details

Title Structured Object-Oriented Formal Language and Method: Third International Workshop, Sofl+msvl 2013, Queenstown, New Zealand, October 29, 2013, Revise
Author Shaoying Liu (Editor); Zhenhua Duan (Editor)
Binding Paperback
Pages 193
Volumes 1
Language ENG
Publisher Springer
Publication date 2014-03-11
Illustrated Yes
Features Illustrated
ISBN 9783319049144 / 3319049143
Weight 0.64 lbs (0.29 kg)
Dimensions 9.21 x 6.14 x 0.43 in (23.39 x 15.60 x 1.09 cm)
Themes
- Aspects (Academic): Science/Technology Aspects
Category Computers - General Information
Dewey Decimal Code 004.6

More Copies for Sale

Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

New
Paperback

Condition: New
Binding: Paperback
ISBN 10 / ISBN 13: 9783319049144 / 3319049143
Quantity available: 196
Seller: Ria Christie Collections
Item price: A$103.07

A$15.26 Delivery to USA

Show details

Description:

Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in t

Add to wish list

Item price

A$103.07

A$15.26 Delivery to USA

Stock photo: cover may vary