Types for Proofs and Programs : International Workshop Types'96, Aussois, France, December 15-19, 1996 : selected papers /

Uloženo v:
Podrobná bibliografie
Korporativní autor: TYPES'96 Aussois, Francie) (Autor)
Další autoři: Giménez, Eduardo, 1967- (Editor), Paulin-Mohring, Christine, 1962- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c1998
Edice:Lecture notes in computer science ; 1512
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky K276.96 4200515415