Yazar
Andrzej Tarlecki
5 cilt bulundu.
Cilt sonuçları
FM 2005
John Fitzgerald, Andrzej Tarlecki · Springer
558 sayfa · 2005
Development / Formal methods (Computer science) / Congresses / System design / Computer software
Algebras for some input/output semantics
Andrzej Tarlecki · Institute of Computer Science, Polish Academy of Sciences
39 sayfa · 1980
Computer programs / Correctness / Programming languages (Electronic computers) / Semantics