Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Volume 455

Theoretical Computer Science

Volume 455
1

Encapsulating deontic and branching time specifications

Castro, Pablo F., Maibaum, Thomas S.E.
Журнал:
Theoretical Computer Science
Рік:
2012
Мова:
english
Файл:
PDF, 419 KB
english, 2012
2

A formal abstract framework for modelling and testing complex software systems

Aiguier, Marc, Boulanger, Frédéric, Kanso, Bilal
Журнал:
Theoretical Computer Science
Рік:
2012
Мова:
english
Файл:
PDF, 531 KB
english, 2012
3

A theory of software product line refinement

Borba, Paulo, Teixeira, Leopoldo, Gheyi, Rohit
Журнал:
Theoretical Computer Science
Рік:
2012
Мова:
english
Файл:
PDF, 1.05 MB
english, 2012
4

Failure-divergence semantics and refinement of long running transactions

Chen, Zhenbang, Liu, Zhiming, Wang, Ji
Журнал:
Theoretical Computer Science
Рік:
2012
Мова:
english
Файл:
PDF, 429 KB
english, 2012
5

Special issue: International Colloquium on Theoretical Aspects of Computing — ICTAC 2010

Cavalcanti, Ana, Déharbe, David
Журнал:
Theoretical Computer Science
Рік:
2012
Мова:
english
Файл:
PDF, 122 KB
english, 2012
6

Editorial Board

Журнал:
Theoretical Computer Science
Рік:
2012
Мова:
english
Файл:
PDF, 58 KB
english, 2012