|
| Books 1 - 5 of 5 | Previous | Next |
|
 | | A temporal logic for multi-level reasoning about hardware
by Ben Moszkowski
Unknown Binding, 25 Pages, Published 1982 by Department of Computer Science, Stanford University
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | A hardware semantics based on temporal intervals (Technical report-Stanford University Computer Science Department STAN-CS)
by Joseph Halpern, Zohar Manna, Ben Moszkowski
Unknown Binding, Published 1983 by Stanford University
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Executing temporal logic programs (TR. University of Cambridge. Computer Laboratory)
by Ben Moszkowski
Unknown Binding, 96 Pages, Published 1985 by University of Cambridge, Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Reasoning in interval temporal logic (Report / Stanford University. Dept. of Computer Science)
by Ben Moszkowski
Unknown Binding, 18 Pages, Published 1983 by Dept. of Computer Science, Stanford University
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Some very compositional temporal properties
by Ben Moszkowski
Unknown Binding, Published 1993 by University of Newcastle upon Tyne, Computing Science
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 5 of 5 | Previous | Next |