1
Argitaratua 2007
Aurkibidea: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2005
Aurkibidea: ... Generation for Web Communities Modeling -- Recursion Versus Replication in Simple Cryptographic Protocols...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2006
Aurkibidea: ... Meta-model Integrating a Rigorous Process Patterns Definition -- Ad Hoc Versus Systematic Planning...
Testu osoa
Baliabide elektronikoa eBook