| Record Type: |
Language materials, printed
: monographic
|
| Title Information: |
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers |
| Secondary Intellectual Responsibility: |
BeekMaurice H. ter, |
| Secondary Intellectual Responsibility: |
LohmannN., |
| Corporate Body: |
WS-FM 20122012) |
| Place of Publication: |
Berlin |
| Published: |
Springer; |
| Year of Publication: |
c2013 |
| Description: |
viii, 149 pagesillustrations : 24 cm.; |
| Series: |
LNCS sublibrary. SL 2, Programming and software engineering |
| Subject: |
Formal methods (Computer science) - |
| Subject: |
Web services - |
| Subject: |
Conference proceedings. - |
| ISBN: |
3-642-38229-0pbk. |
| ISBN: |
978-3-642-38229-1pbk. |