Home Advanced Search

Advanced Search - Page 1

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
  • PDF
  • English
  • Year: 1989
  • Author: Jayadev Misra (auth.), Manfred Broy (eds.)
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
  • DJVU
  • English
  • Year: 1995
  • Author: Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)
Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)
Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)
Discipline of multiprogramming: programming theory for distributed applications
  • PDF
  • English
  • Year: 2012
  • Author: Misra, Jayadev
A discipline of multiprogramming: programming theory for distributed applications
  • DJVU
  • English
  • Year: 2001
  • Author: Misra, Jayadev
Effective Theories in Programming Practice
  • EPUB
  • English
  • Year: 2023
  • Author: Jayadev Misra
Effective Theories in Programming Practice
  • PDF
  • English
  • Year: 2023
  • Author: Jayadev Misra
Effective Theories in Programming Practice
  • PDF
  • English
  • Year: 2022
  • Author: Jayadev Misra
Formal Systems Specification: The RPC-Memory Specification Case Study
  • DJVU
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
search