Search UDS Library Collections


Image from Google Jackets

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 / Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 5569. | Lecture notes in computer science. Tutorial.Publication details: Berlin ; New York : Springer, 2009.Description: vi, 339 p. : ill. ; 24 cmISBN:
  • 9783642019173 (pbk.)
  • 364201917X (pbk.)
Subject(s): Genre/Form: LOC classification:
  • QA76.9.F67 F51
Other classification:
  • SS 4800
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Books Books CKT-UTAS Library General Stacks QA76.9 F51 (Browse shelf(Opens below)) Available NAV-51705002352

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.