Last edited by Gardashicage
Saturday, July 25, 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.

by Jonathan Sol Ostroff

  • 206 Want to read
  • 30 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
diverticula of the jejeuno-ileum.

diverticula of the jejeuno-ileum.

history of mediaeval political theory in the West

history of mediaeval political theory in the West

Curriculum research

Curriculum research

Sculpture in the home

Sculpture in the home

Babymouse

Babymouse

Resources, influence, and issue resolution in large urban political systems

Resources, influence, and issue resolution in large urban political systems

New approaches to community work

New approaches to community work

Wordsworths poetry, 1787-1814

Wordsworths poetry, 1787-1814

code of practice for the photographic industry

code of practice for the photographic industry

Every childs book of riding

Every childs book of riding

introduction to our social philosophy

introduction to our social philosophy

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