×

Found 3 Documents (Results 1–3)

Foundations of secure computation. 20th international summer school, Marktoberdorf, Germany, July 27 – August 8, 1999. (English) Zbl 0963.00029

NATO ASI Series. Series F. Computer and Systems Sciences. 175. Amsterdam: IOS Press. Tokyo: Ohmsha. 320 p. (2000).
MSC:  00B25 68-06
PDFBibTeX XMLCite

Logic and algebra of specification. Proceedings of the NATO Advanced Study Institute, held in Marktoberdorf, Germany, July 23 - August 4, 1991. (English) Zbl 0818.68109

NATO ASI Series. Series F. Computer and Systems Sciences. Berlin: Springer-Verlag. VII, 442 p. (1993).
Reviewer: G.Grigas (Vilnius)
PDFBibTeX XMLCite

Filter Results by …

Volume

Year of Publication

Main Field

Software