| Shelfclass_id | 4.B.5 |
| Sortkey | BARRINGER, HOWARD |
| Authors | Howard Barringer, Michael Fisher, Dov Gabbay, Richard Owens, Mark Reynolds |
| Title | The Imperative Future: Principles of Executable Temporal Logic |
| Publisher | Wiley |
| Year | c1996 |
| Languages | eng |
| Isbn | 0471961302, 0863801900 |
| Series | Advanced software development series |
| Volume | 4 |
| Description | (Wiley) (hb: alk. paper) (Research Studies Press) (hb: alk. pap xv, 239 p. ill. 24 cm |
| Record date | 20060824 |
| Location | New York |
| Keywords | Computer software, Programming languages (Electronic computers), Logic, Symbolic and mathematical |