IMP -Temporal Logic and State Systems

(No reviews yet) Write a Review
Mexican Peso
MXN2,605.69
SKU:
9783540674016
Autor:
Fred Kroeger
Editorial:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Cover book

Product Overview

Importante: Este libro es importado y podría tener una demora de 30 días.

Titulo: Temporal Logic and State Systems

Formato: Hardback

Autor: Fred Kroeger

Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Lenguaje: English

Páginas: 436

ISBN: 9783540674016

Reviews

(No reviews yet) Write a Review