A survey of verification techniques for parallel programs / Howard Barringer

• Record Nr.: UNINA990000470570403321
• Autore: Barringer, Howard
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer-Verlag, ©1985
• ISBN: 3-540-15239-3
• Descrizione fisica: 115 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 191
• Disciplina: 004.35
• Locazione: DINEL
• Collocazione: 10 P.T. 407
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Eastern European politics and societies : EEPS.

• Record Nr.: UNISALENTO991000495559707536
• Pubbl/distr/stampa: Berkeley, Ca. : University of California Press, c1987-
• ISSN: 0888-3254
• Descrizione fisica: v. ; 23 cm
• Altri autori (Enti): American Council of Learned Societies; Joint Committee on Eastern Europe; Social Science Research Council <Stati Uniti>
• Disciplina: 947.0005
• Soggetti: Europa orientale Politica e governo 1945-1989 Periodici; Europa orientale Condizioni sociali Periodici
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Periodico
• Note generali: Pubblicato anche in formato elettronico; Tit. della cop.; I volumi dal 1990- hanno come titolo: East European politics and societies