Search for: [Subject and Keywords = Balanced Pattern Specification Language \(BPSL\)] OR [Subject and Keywords = First\-Order Logic \(FOL\)] OR [Subject and Keywords = Temporal Logic of Actions \(TLA\)] OR [Subject and Keywords = substitution] OR [Subject and Keywords = addition] OR [Subject and Keywords = elimination] OR [Title = Modeling of distributed objects computing design pattern combinations using a formal specification language] OR [Creator = Taibi, Toufik] OR [Creator = Ngo, David Chek Ling]
Number of results: 6
Ngo, David Chek Ling Byrne, John G. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Kaczorek, Tadeusz (1932- ) Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Ngo, David Chek Ling Teo, Lian Seng Byrne, John G. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Ramdane, Rihab Kherraf, Leila Abdelouahed, Assia Belachia, Mouloud Kuczyński, Tadeusz - red.
Bebhalilou, Mohamed Ichem Belachia, Mouloud Houari, Hacene Abdelouahed, Assia Kuczyński, Tadeusz - red.
Rihla, Chaher Hebhoub, Houria Djebien, Rachid Abdelouahed, Assia Kuczyński, Tadeusz - red.
