cam a22 u 4500 28281468X CHVBK 20201210064038.0 130818s1995 gw | 00 |eng|d 3-540-59173-7 (NEBIS)001425459 (RERO)2023783 ETH-BIB ger ETH-BIB ETHICS-ISBD s1in rero Extensions of the UNITY methodology compositionality, fairness and probability in parallelism Josyula Ramachandra Rao Berlin [etc.] Springer cop. 1995 XI, 178 S. 24 cm Lecture notes in computer science 908 908 (NEBIS)000025969 582721016 VERIFIKATION (SOFTWARE ENGINEERING) ger (ETHUDK)000013750 ethudk VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ger (ETHUDK)000013723 ethudk Parallélisme (informatique) (RERO)A021022019 rero Logiciels - Vérification (RERO)A021071136 rero u D.1 PROGRAMMING TECHNIQUES idsuzh UM u D.2 SOFTWARE ENGINEERING idsuzh UM u VERIFIKATION (SOFTWARE ENGINEERING) ger 004*04*04*05 nebis E1 u VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ger 004*04*03*10 nebis E1 u VÉRIFICATION (GÉNIE LOGICIEL) fre 004*04*04*05 nebis E1 u VERIFICATION (SOFTWARE ENGINEERING) eng 004*04*04*05 nebis E1 u CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS) eng 004*04*03*10 nebis E1 u PROGRAMMATION DISTRIBUÉE + PROGRAMMATION PARALLÈLE (MÉTHODES DE PROGRAMMATION) fre 004*04*03*10 nebis E1 Rao Josyula Ramachandra (DE-588)17938547X Lecture notes in computer science 908 (RERO)000078255 BK020000 XK020000 XK020000 094 E01-20080101 RERO RE01046 RE01046 RE010460003 DIUF 1.4.3 TIB 1877 RERO RE61083 RE61083 RE610830001 D.1.3 RAO NEBIS E01 E01 MG P 713677: 908 NEBIS E02 E02 E02MA CG 236: 908 NEBIS 490 -- Lecture notes in computer science 908 908 (NEBIS)000025969 582721016 NEBIS 700 1- Rao Josyula Ramachandra (DE-588)17938547X RERO 100 1- Rao Josyula Ramachandra (RERO)A003727228 cre RERO 490 1- Lecture notes in computer science 908 RERO 830 -- Lecture notes in computer science 908 (RERO)000078255 NEBIS EAD50 EBI01 E01 https://opac.nebis.ch/objects/pdf/000019207_e01_3540591737_02.pdf Abstract / Autoreninformation VIEW pdf SWISSBIB 28281468X