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 Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4486 0302-9743 ; . - Lecture Notes in Computer Science, 4486 .
9783540725220
10.1007/978-3-540-72522-0 doi
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.758
005.1
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 Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4486 0302-9743 ; . - Lecture Notes in Computer Science, 4486 .
9783540725220
10.1007/978-3-540-72522-0 doi
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.758
005.1