Export directly to RefWorks

TY  - BOOK
ID  - 5064954
TI  - The temporal logic of reactive and concurrent systems : specification
AU  - Manna, Zohar
AU  - Pnueli, Amir
PY  - 1992
SN  - 0387976647 1461269504 1461209315 9780387976648
PB  - New York: Springer,
DB  - UniCat
KW  - Electronic digital computers
KW  - Logic, Symbolic and mathematical
KW  - Programmation des ordinateurs
KW  - Logique symbolique et mathématique
KW  - Programming
KW  - Computer programming
KW  - Logic, symbolic and mathematical
KW  - 681.3*D41
KW  - 681.3*H24
KW  - Computers
KW  - Electronic computer programming
KW  - Electronic data processing
KW  - Programming (Electronic computers)
KW  - Coding theory
KW  - Algebra of logic
KW  - Logic, Universal
KW  - Mathematical logic
KW  - Symbolic and mathematical logic
KW  - Symbolic logic
KW  - Mathematics
KW  - Algebra, Abstract
KW  - Metamathematics
KW  - Set theory
KW  - Syllogism
KW  - Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems)
KW  - Systems: concurrency; distributed systems; query processing; transaction processing (Database management)
KW  - 681.3*H24 Systems: concurrency; distributed systems; query processing; transaction processing (Database management)
KW  - 681.3*D41 Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems)
KW  - Computer programming.
KW  - Logique symbolique et mathématique
KW  - Concurrency
KW  - Temporal Logic
KW  - Formal methods
KW  - Reactive Systems
UR  - https://www.unicat.be/uniCat?func=search&query=sysid:5064954
AB  - 
ER  -