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.)
Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)
Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (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.)
Program Design Calculi
  • PDF
  • English
  • Year: 1993
  • Author: Carroll Morgan (auth.), Manfred Broy (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.)
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.)
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
search