Architectural Specification Calculus

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiArchitectural Specification Calculus
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom2960
Zeszyt
Rok wydania2004
Od strony329
Do strony356
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2004

Lista autorów
  
 1. Piotr Hoffman, Zakład Logiki Stosowanej [Współautor]