Beat the rise! Delivery fees are going up soon. INFO

Close Notification

Your cart does not contain any items

Structured Object-Oriented Formal Language and Method

Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected...

Shaoying Liu

$111.95   $89.44

Paperback

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

QTY:

English
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
14 August 2013
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.
Edited by:  
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Country of Publication:   Germany
Edition:   2013 ed.
Volume:   7787
Dimensions:   Height: 235mm,  Width: 155mm,  Spine: 9mm
Weight:   454g
ISBN:   9783642392764
ISBN 10:   3642392768
Series:   Lecture Notes in Computer Science
Pages:   149
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active

See Also