CASL: The Common Algebraic Specification Language

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiCASL: The Common Algebraic Specification Language
Adres internetowy
Tytuł czasopismaTHEORETICAL COMPUTER SCIENCE
Medium
Tom286
Zeszyt2
Rok wydania2002
Od strony153
Do strony196
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2002

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]