Aluta continua: Social movements and the making of Ghana's Fourth Republic, 1978--1993

مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی

منو

" Aluta continua: Social movements and the making of Ghana's Fourth Republic, 1978--1993 "
Nana Yaw Boampong Sapong J. S. Allen

Document Type	:	BL
Record Number	:	733453
Doc. No	:	b553251
Main Entry	:	edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
Title & Author	:	Proof and system-reliability\ edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
Publication Statement	:	Dordrecht ; Boston: Kluwer Academic Publishers, ©2002.
Series Statement	:	NATO science series., Series II,, Mathematics, physics, and chemistry ;, v. 62.
Page. NO	:	xii, 415 pages : illustrations ; 25 cm.
ISBN	:	1402006071
	:	: 140200608X
	:	: 9781402006074
	:	: 9781402006081
Notes	:	Published in cooperation with NATO Scientific Affairs Division.;"Proceedings of the NATO Advanced Study Institute on Proof and System-Reliability, Marktoberdorf, Germany, 24 July-5 August 2001"--Title page verso.
Contents	:	Cartesian Closed Categories of Effective Domains / G. Hamrin and V. Stoltenberg-Hansen --;Algorithmic Game Semantics: A Tutorial Introduction / S. Abramsky --;Algebra of Networks / G. Stefanescu --;Computability and Complexity from a Programming Perspective / N.D. Jones --;Logical Frameworks: A Brief Introduction / F. Pfenning --;Ludics: An Introduction / J.-Y. Girard --;Naive Computational Type Theory / R.L. Constable --;Proof-Carrying Code. Design and Implementation / G. Necula --;Abstractions and Reductions in Model Checking / O. Grumberg --;Hoare Logic: From First-order to Propositional Formalism / J. Tiuryn --;Hoare Logics in Isabelle/HOL / T. Nipkow --;Proof Theoretic Complexity / G.E. Ostrin and S.S. Wainer.
Subject	:	Computer systems -- Reliability -- Congresses.
Subject	:	Computer systems -- Reliability.
Subject	:	Proof theory -- Congresses.
Added Entry	:	Helmut Schwichtenberg
	:	North Atlantic Treaty Organization. Scientific Affairs Division.
	:	Ralf Steinbrüggen