Ma bibliothèque

Limiter la recherche aux exemplaires disponibles

Ressources

Conference

Titre Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings / Luca de Alfaro, Stephen Gilmore (eds.).

Adresse Bibliographique

Berlin ; New York : Springer-Verlag, c2001.

Localisation	Cote	Statut
Innovative University Kline Collection	QA267 .P36 2001	AVAILABLE

Description	xii, 215 p : ill ; 24 cm.
Collection	Lecture notes in computer science, 0302-9743 ; 2165
Bibliography	Includes bibliographical references and index.
Sujet	Machine theory.
	Parallel processing (Electronic computers)
Autre Auteur	De Alfaro, Luca, 1966-
	Gilmore, Stephen, 1962-
ISBN	354042556X (pbk. : acid-free paper)