Número de Cutter-SanbornA363fEntrada «Aldi» → 363 · marca de obra “f”

Formal Methods for Quantitative Aspects of Programming Languages

Name: Formal Methods for Quantitative Aspects of Programming Languages
ISBN: 9783642136788

10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Edición de la obra Formal Methods for Quantitative Aspects of Programming Languages

Autor	Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky

Formal Methods for Quantitative Aspects of Programming Languages (2010) — ISBN 97836421367 | Cutter Number