Formal Modeling Actors Open Systems Biological Systems Lecture Notes in Computer Science

Logic design Computer networks Computer science Software engineering Formal methods (Computer science) Verification Computer software Computer simulation Mathematical Logic and Formal Languages Programming Techniques