zbMATH — the first resource for mathematics

Engineering theories of software construction. Proceedings of the NATO ASI, Marktoberdorf, Germany, July 25 – August 6, 2000. (English) Zbl 0972.00060
NATO Science Series III: Computer & Systems Sciences. 180. Amsterdam: IOS Press. Tokyo: Ohmsha. ix, 357 p. (2001).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Jackson, Michael, Problem analysis and structure, 3-20 [Zbl 0989.68013]
Hoare, C. A. R.; He, Jifeng, Unifying theories for logic programming, 21-45 [Zbl 1005.68036]
Peyton Jones, Simon, Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell, 47-96 [Zbl 0989.68021]
MacQueen, David, Adaptation in HOT languages comparing polymorphism, modules, and objects, 97-132 [Zbl 0989.68015]
Turski, Władysław M., Programming for behaviour, 135-148 [Zbl 0989.68090]
Broy, Manfred, From states to histories relating state and history views onto systems, 149-186 [Zbl 0989.68091]
Parrow, Joachim, The \(\pi\)-calculus: An introduction, 187-222 [Zbl 0995.68066]
Tofts, Chris, Performance modelling using probabilistic process algebra, 223-257 [Zbl 0989.68102]
Pnueli, Amir; Kesten, Yonit, Taming the infinite: Verification of infinite-state reactive systems by finitary means, 261-299 [Zbl 0989.68092]
Nelson, Greg, Extended static checking, 301-308 [Zbl 0991.68011]
Holzmann, Gerard J., Software model checking, 309-355 [Zbl 0989.68093]
00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science