Número de Cutter-SanbornJ76fEntrada «Jon» → 76 · marca de obra “f”

Formal Methods and Hybrid Real-Time Systems

Name: Formal Methods and Hybrid Real-Time Systems
ISBN: 9783540752219

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Autor	Cliff B. Jones, Zhiming Liu, Jim Woodcock
Editorial	Springer London, Limited
Fecha de publicación	2007
Idioma	inglés
ISBN-13	9783540752219
Número de Cutter	`J76f`

Formal Methods and Hybrid Real-Time Systems (2007) — ISBN 9783540752219 | Cutter Number