TY - BOOK ID - 1243655 TI - Temporal logic in specification: Altrincham, UK, April 8-10, 1987, proceedings AU - Banieqbal, Behnam AU - Barringer, Howard AU - Pnueli, Amir AU - Manchester Temporal Logic Group PY - 1989 VL - vol 398 SN - 3540518037 3540468110 PB - Berlin Springer DB - UniCat KW - Computer science KW - Mathematical logic KW - 681.3*D24 KW - 681.3*F1 KW - 681.3*F3 KW - 681.3*F4 KW - Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} KW - Computation by abstract devices KW - Logics and meanings of programs (Theory of computation) KW - Mathematical logic and formal languages (Theory of computation) KW - 681.3*F4 Mathematical logic and formal languages (Theory of computation) KW - 681.3*F3 Logics and meanings of programs (Theory of computation) KW - 681.3*F1 Computation by abstract devices KW - 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} KW - Computer science. KW - Logic design. KW - Computer software. KW - Software engineering. KW - Programming Languages, Compilers, Interpreters. KW - Logics and Meanings of Programs. KW - Mathematical Logic and Formal Languages. KW - Algorithm Analysis and Problem Complexity. KW - Software Engineering. KW - Computer software engineering KW - Engineering KW - Software, Computer KW - Computer systems KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Informatics KW - Science UR - https://www.unicat.be/uniCat?func=search&query=sysid:1243655 AB - ER -