Catalog

Record Details

Catalog Search


Search Results Showing Item 69 of 132

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Bernardo, Marco. (editor.). Padovani, Luca. (editor.). Zavattaro, Gianluigi. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642019180
  • Physical Description: electronic
    electronic resource
    access
    remote
    online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Subject: Computer science
Computer network architectures
Software engineering
Information systems
Computer Science
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Techniques
Programming Languages, Compilers, Interpreters
Information Systems Applications (incl.Internet)
Computer Systems Organization and Communication Networks
Search Results Showing Item 69 of 132

Additional Resources