Rezultati

1

Slika na naslovnici

Knowledge-based software engineering : proceedings of the fourth joint conference on knowledge-based software engineering, Brno, Czech Republic, 2000 /

Izdano 2000

Conference Proceeding Knjiga

2

Slika na naslovnici

Formal methods for trustworthy computer systems (FM89) : report from FM89: A workshop on the assessment of formal methods for trustworthy computer systems, 23-27 July 1989, Halifax...

Izdano 1990

Conference Proceeding Knjiga

3

Slika na naslovnici

Proceedings of the 4th Refinement workshop, 9-11 January 1991, Cambridge /

Izdano 1991

Conference Proceeding Knjiga

4

Slika na naslovnici

Knowledge-based software engineering : proceedings of the fifth joint conference on knowledge-based software engineering, Maribor, Slovenia, 11-13 September 2002 /

Izdano 2002

Conference Proceeding Knjiga