CASL: The Common Algebraic Specification Language
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
CASL: The Common Algebraic Specification Language
Adres internetowy
Tytuł czasopisma
THEORETICAL COMPUTER SCIENCE
Medium
Tom
286
Zeszyt
2
Rok wydania
2002
Od strony
153
Do strony
196
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2002
Lista autorów
1.
Andrzej Tarlecki
,
Zakład Logiki Stosowanej
[
Współautor
]
2.
E. Astesiano,
Jednostka zewnetrzna
[
Współautor
]
3.
M. Bidoit,
Jednostka zewnetrzna
[
Współautor
]
4.
H. Kirchner,
Jednostka zewnetrzna
[
Współautor
]
5.
B. Krieg-Brueckner,
Jednostka zewnetrzna
[
Współautor
]
6.
P. Mosses,
Jednostka zewnetrzna
[
Współautor
]
7.
D. Sannella,
Jednostka zewnetrzna
[
Współautor
]