Misra, Jayadev.
Overview
Works: | 16 works in 0 publications in 0 languages |
---|
Titles
FM 2006: Formal Methods14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /
by:
(1998 :); Misra, Jayadev.; Nipkow, Tobias.; Sekerinski, Emil.; SpringerLink (Online service)
(Electronic resources)
A discipline of multiprogramming :programming theory for distributed applications /
by:
Misra, Jayadev.
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Programming Techniques.
Formal methods (Computer science)
System design
Programming Languages, Compilers, Interpreters.
Multiprogramming (Electronic computers)
Computer Science.