Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers - Theoretical Computer Science and General Issues 7787 (Paperback)
  • Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers - Theoretical Computer Science and General Issues 7787 (Paperback)
zoom

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

(editor)
£39.99
Paperback 149 Pages / Published: 14/08/2013
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642392764
Number of pages: 149
Weight: 254 g
Dimensions: 235 x 155 x 9 mm
Edition: 2013 ed.

You may also be interested in...

C++ Primer
Added to basket
£44.49
Paperback
Java For Everyone
Added to basket
Head First C#
Added to basket
£43.99
Paperback
Microsoft Visual C# 2012 Step By Step
Added to basket
The Well-Grounded Rubyist
Added to basket
Jumping Into C++
Added to basket
£22.00
Paperback
Programming in C
Added to basket
Design Patterns
Added to basket
£44.49
Hardback
Java For Dummies Quick Reference
Added to basket
Java: How to Program (Late Objects), Global Edition
Added to basket
Getting Started with Arduino
Added to basket
Objective-C Programming For Dummies
Added to basket
Effective Modern C++
Added to basket

Please sign in to write a review

Your review has been submitted successfully.