Enlarge

Structured object-oriented formal language and method : 4th international workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers

Publication Data

Title Structured object-oriented formal language and method : 4th international workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers
Contributors Shaoying Liu, Zhenhua Duan
Publisher Springer
Publication date 2015
Publication location Cham
Language English

Topics

Formal methods (Computer science) :: Congresses
Object-oriented methods (Computer science) :: Congresses
Parallel programming (Computer science) :: Congresses

Catalogue Data

OBNB ID GBB5G1209
ISBN 10 3319174037
ISBN 13 9783319174037
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 viii, 188 pages
P1042 Includes bibliographical references and author index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Structured object-oriented formal language and method : 4th international workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers. ISBN 9783319174037. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.