Description: Structured Object-oriented Formal Language and Method : Second International Workshop, Sofl 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, Paperback by Liu, Shaoying (EDT), ISBN 3642392768, ISBN-13 9783642392764, Like New Used, Free P&P in the UK 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.
Price: 46.4 GBP
Location: Castle Donington
End Time: 2024-12-04T01:09:22.000Z
Shipping Cost: 19.83 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 30 days
Book Title: Structured Object-oriented Formal Language and Method : Second In
Number of Pages: 149 Pages
Language: English
Publication Name: Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Publication Year: 2013
Subject: Computer Science
Item Height: 235 mm
Item Weight: 254 g
Type: Textbook
Author: Shaoying Liu
Series: Lecture Notes in Computer Science
Item Width: 155 mm
Format: Paperback
