Cover Image

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures /

Corporate Author: SpringerLink (Online service)
Other Authors: Bernardo, Marco. (Editor, http://id.loc.gov/vocabulary/relators/edt), Hillston, Jane. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Programming and Software Engineering ; 4486
Subjects:
Computers.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Special purpose computers.
Computer communication systems.
Theory of Computation.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Online Access:https://doi.org/10.1007/978-3-540-72522-0

Internet

https://doi.org/10.1007/978-3-540-72522-0

Similar Items