Reviewed Work:Civil Society and Political Change in Moroccoby James N. Sater

منو

" Reviewed Work:Civil Society and Political Change in Moroccoby James N. Sater "
James N. Sater

Document Type	:	BL
Record Number	:	778161
Doc. No	:	b598171
Main Entry	:	Holger Giese, Grigore Rosu (eds.).
Title & Author	:	Formal techniques for distributed systems : : joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16 2012 : proceedings\ Holger Giese, Grigore Rosu (eds.).
Publication Statement	:	Heidelberg : Springer, ©2012.
Series Statement	:	Lecture notes in computer science, 7273.
Page. NO	:	(XII, 267 p.) : illustrations.
ISBN	:	3642307922
	:	: 3642307930
	:	: 9783642307928
	:	: 9783642307935
Notes	:	Two of the conferences at the 7th International Federated Conferences on Distributed Computing Techniques (DisCoTec).
Subject	:	Distributed operating systems (Computers) -- Congresses.
Subject	:	Formal methods (Computer science) -- Congresses.
Subject	:	software engineering.
Added Entry	:	Grigore Roșu
	:	Holger Giese
	:	IFIP Working Group 6.1.
	:	International Federation for Information Processing.
Parallel Title	:	FMOODS 2012; FORTE 2012