Last edited by Vigal
Wednesday, April 29, 2020 | History

2 edition of Real-time computer control of discrete systems modelled by extended state machines: a temporal logic approach. found in the catalog.

Real-time computer control of discrete systems modelled by extended state machines: a temporal logic approach.

Jonathan Sol Ostroff

Real-time computer control of discrete systems modelled by extended state machines: a temporal logic approach.

  • 16 Want to read
  • 21 Currently reading

Published .
Written in English


The Physical Object
Pagination224 leaves
Number of Pages224
ID Numbers
Open LibraryOL17421723M


Share this book
You might also like
Rain Forest Creatures, Package of 15, Vbs

Rain Forest Creatures, Package of 15, Vbs

Cretaceous geology of Wyoming

Cretaceous geology of Wyoming

The humble petition of the Lord Major, aldermen and Common Council of the City of London presented to the Parliament on Thursday June 2, 1659

The humble petition of the Lord Major, aldermen and Common Council of the City of London presented to the Parliament on Thursday June 2, 1659

Report of the CFU/FAO Fisheries Statistics and Data Management Workshop

Report of the CFU/FAO Fisheries Statistics and Data Management Workshop

Confined Space Entry

Confined Space Entry

The Leprechaun Library 5 Volume Set

The Leprechaun Library 5 Volume Set

Rules and directions how all dissenters may unite in religion as is establishd in the Church of England

Rules and directions how all dissenters may unite in religion as is establishd in the Church of England

The mourners relief

The mourners relief

Perspectives on the Sikh tradition

Perspectives on the Sikh tradition

Evaluation of literacy and basic skills initiatives

Evaluation of literacy and basic skills initiatives

Fetes et festins dEgypte

Fetes et festins dEgypte

Tracing the movement of fine-grained sediment in aquatic systems

Tracing the movement of fine-grained sediment in aquatic systems

Bulletin. no. 1-2; Oct. 23, 1913-July 30, 1914.

Bulletin. no. 1-2; Oct. 23, 1913-July 30, 1914.

Real-time computer control of discrete systems modelled by extended state machines: a temporal logic approach. by Jonathan Sol Ostroff Download PDF EPUB FB2