Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures / edited by Marco Bernardo, Jane Hillston.

By: Contributor(s): Material type: Computer fileComputer fileSeries: Lecture Notes in Computer Science ; 4486Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Description: v.: digitalISBN:
  • 9783540725220
Subject(s): LOC classification:
  • QA76.9.F67 B4763 2007
Online resources: In: Springer eBooks
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 URL Copy number Status Notes Date due Barcode
Libro Electrónico Libro Electrónico Biblioteca Digital Colección Digital QA76.9.F67 B4763 2007 (Browse shelf(Opens below)) Link to resource 1 Available Springer Link BDIG00001187

There are no comments on this title.

to post a comment.

Powered by Koha