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, Brand New, Free shipping in the US 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: 58.2 USD
Location: Jessup, Maryland
End Time: 2024-12-29T13:12:02.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Structured Object-oriented Formal Language and Method : Second In
Number of Pages: X, 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 Berlin / Heidelberg
Subject: Software Development & Engineering / General, Computer Science, Programming / Object Oriented, Compilers
Publication Year: 2013
Type: Textbook
Item Weight: 16 Oz
Subject Area: Computers
Item Length: 9.3 in
Author: Shaoying Liu
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
