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: 9781119991489

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

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