Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
by
Beek, Maurice H. editor.
Title
:
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Author
:
Beek, Maurice H. editor.
ISBN
:
9783642382307
Physical Description
:
X, 151 p. 55 illus. online resource.
Series
:
Lecture Notes in Computer Science, 7843
Subject Term
:
Computer science.
Software engineering.
Logic design.
Information Systems.
Information Systems Applications (incl. Internet).
Management of Computing and Information Systems.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
User Interfaces and Human Computer Interaction.
Added Author
:
Lohmann, Niels.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 334562-1001 | ONLINE(334562.1) | | Elektronik Kütüphane |