Formal Methods for Performance Evaluation

EISBN：9783540725220

PISBN：9783540724827

出版社：Springer Berlin Heidelberg

出版类型：Proceedings

出版时间：2007

作者：Marco Bernardo,Jane Hillston

主题词：Software Engineering,Programming Languages,Compilers,Interpreters,Logics and Meanings of Programs,Special Purpose and Application-Based Systems,Computer Communication Networks

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Lecture Notes in Computer Science

3浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

Formal Methods and Stochastic Models for Performance Evaluation

作者：András Horváth,Miklós Telek
EISBN：9783540353652
出版社：Springer Berlin Heidelberg
出版时间：2006

Formal Methods and Stochastic Models for Performance Evaluation

作者：Katinka Wolter
EISBN：9783540752110
出版社：Springer Berlin Heidelberg
出版时间：2007

Lectures on Formal Methods and Performance Analysis

作者：Ed Brinksma,Holger Hermanns,Joost-Pieter Katoen
EISBN：9783540446675
出版社：Springer Berlin Heidelberg
出版时间：2001

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

作者：Marco Bernardo,Rocco De Nicola,Jane Hillston
EISBN：9783319340968
出版社：Springer International Publishing
出版时间：2016

Metaheuristic Algorithms: New Methods, Evaluation, and Performance Analysis

作者：Erik Cuevas,Alberto Luque,Bernardo Morales Castañeda,Beatriz Rivera
EISBN：9783031630538
出版社：Springer Nature
出版时间：2024

Applying Formal Methods: Testing, Performance, and M/E-Commerce

作者：Manuel Núnez,Zakaaria Maamar,Fernando Pelayo,Key Pousttchi,Fernando Rubio
EISBN：9783540302339
出版社：Springer Berlin Heidelberg
出版时间：2004