Thomas Adewumi University | Author: Jose Meseguer

Thomas Adewumi University

Search

Advanced Search

Upload
Guest
Login
Register

Browse
Books
Shelves
Accounting (Public)
Anatomy (Public)
Artificial Intelligence (Public)
Biochemistry (Public)
Business Administration (Public)
Civil Engineering (Public)
Communication Engineering (Public)
Community Health Science (Public)
Computer Engineering (Public)
Computer Science (Public)
Criminology and Security Studies (Public)
Cyber Security (Public)
Data Science (Public)
Economics (Public)
Electrical Electronic (Public)
English and Literary Studies (Public)
Environmental Health (Public)
Finance (Public)
Human Nutrition and Dietetics (Public)
Information Technology (Public)
Intelligence and Security Studies (Public)
Law (Public)
Marine Science (Public)
Mass Communication (Public)
Mechanical Engineering (Public)
Medical Laboratory Science (Public)
Medicinal Chemistry (Public)
Medicine and Surgery (Public)
Microbiology (Public)
Nursing Science (Public)
Petroleum Chemistry (Public)
Physics with Electronics (Public)
Physiology (Public)
Physiotherapy (Public)
Public Health (Public)
Radiography (Public)
Software Engineering (Public)

Author: Jose Meseguer

Concurrent Programming, Open Systems and Formal Methods

Concurrent Programming, Open Systems and Formal Methods

Jose Meseguer & Carlos A. Varela & Nalini Venkatasubramanian

Book Details

...