Formal Methods for Performance Evaluation
Bernardo, Marco.
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 28-June 2, 2007, Advanced Lectures / [electronic resource] : edited by Marco Bernardo, Jane Hillston. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4486 0302-9743 ; .
9783540725220
Computer science
Computer Communication Networks
Software engineering
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Special Purpose and Application-Based Systems
Computer Communication Networks
QA76.9.F67 / B4763 2007
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 28-June 2, 2007, Advanced Lectures / [electronic resource] : edited by Marco Bernardo, Jane Hillston. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4486 0302-9743 ; .
9783540725220
Computer science
Computer Communication Networks
Software engineering
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Special Purpose and Application-Based Systems
Computer Communication Networks
QA76.9.F67 / B4763 2007