Número de Cutter-SanbornF535iEntrada «Fisher, M.» → 535 · marca de obra “i”

Introduction to Practical Formal Methods Using Temporal Logic

Name: Introduction to Practical Formal Methods Using Temporal Logic
ISBN: 9781119955085

Autor	Michael Fisher
Editorial	Wiley & Sons, Incorporated, John
Fecha de publicación	2011
Idioma	inglés
Páginas	360
ISBN-13	9781119955085
Número de Cutter	`F535i`

Introduction to Practical Formal Methods Using Temporal Logic (2011) — ISBN 9781119955085 | Cutter Number