Proving Assertious about the State Structure of Formally-defined, Interacting, Digital Systems

Proving Assertious about the State Structure of Formally-defined, Interacting, Digital Systems PDF Author: Robert Thomas Johnson
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 354

Get Book Here

Book Description

Proving Assertious about the State Structure of Formally-defined, Interacting, Digital Systems

Proving Assertious about the State Structure of Formally-defined, Interacting, Digital Systems PDF Author: Robert Thomas Johnson
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 354

Get Book Here

Book Description