Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers - Softcover

 
9783642392788: Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Softcover
ISBN 10: 3642392784 ISBN 13: 9783642392788
Publisher: Springer, 2013

This specific ISBN edition is currently not available.

Synopsis

Testing and tools.- Tools for specification.- Model checking.- Application and prototyping.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2013
Language
English
ISBN 10 
3642392784
ISBN 13 
9783642392788
Binding
Paperback
Number of pages
160
Editor
Liu Shaoying

Other Popular Editions of the Same Title

9783642392764: Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected ... Computer Science and General Issues)

Featured Edition

ISBN 10:  3642392768 ISBN 13:  9783642392764
Publisher: Springer, 2013
Softcover