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

Autor	Michael Fisher
Editorial	Wiley & Sons, Incorporated, John
Fecha de publicación	2012
Idioma	inglés
ISBN-13	9781283405348
Número de Cutter	`F535i`

Introduction to Practical Formal Methods Using Temporal Logic (2012) — ISBN 9781283405348 | Cutter Number