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
: 
http://dx.doi.org/10.1007/978-3-642-38230-7


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book334562-1001ONLINE(334562.1)Elektronik Kütüphane