Heterogeneous Logical Environments for Distributed Specifications

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiHeterogeneous Logical Environments for Distributed Specifications
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom5486
Zeszyt
Rok wydania2009
Od strony266
Do strony289
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2009

Lista autorów
  
 1. Till Mossakowski, Jednostka zewnetrzna [Współautor]
 2. Andrzej Tarlecki, Zakład Logiki Stosowanej [Współautor]