You might also like

More about Structured Object-Oriented Formal Language and Method

• Book details
• Synopsis
• Trending among others

You get 115 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development Object-oriented programming (OOP)

• Full title: Structured Object-Oriented Formal Language and Method
• Subtitle: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
• Author: Shaoying Liu
• Language: English
• Binding: Paperback
• Number of pages: 149
• EAN: 9783642392764
• ISBN: 3642392768
• ID: 01663973
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 454 g
• Dimensions: 235 × 155 × 12 mm
• Date of publishing: 01. August 2013

Trending among others

---

---

---