Architectural Specifications in CASL

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiArchitectural Specifications in CASL
Adres internetowy
Tytuł czasopismaFORMAL ASPECTS OF COMPUTING
Medium
Tom13
Zeszyt
Rok wydania2002
Od strony252
Do strony273
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. Michel Bidoit, Jednostka zewnetrzna [Współautor]
 3. Don Sannella, Jednostka zewnetrzna [Współautor]