Toward component-oriented formal software development: an algebraic approach

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiToward component-oriented formal software development: an algebraic approach
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom2941
Zeszyt
Rok wydania2004
Od strony75
Do strony90
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2004

Lista autorów
  
 1. Michel Bidoit, Jednostka zewnetrzna [Współautor]
 2. Don Sannella, Jednostka zewnetrzna [Współautor]
 3. Andrzej Tarlecki, Zakład Logiki Stosowanej [Współautor]