Rezultati

1

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

2

Slika na naslovnici

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

Izdano 1991

Conference Proceeding Knjiga

3

Slika na naslovnici

Object-oriented versus conventional construction of user interface prototyping tools /

od Pree, Wolfgang.
Izdano 1992

Knjiga

4

Slika na naslovnici

Programski jezici i metode programiranja : odabrana poglavja /

od Dujmović, Jozo J.
Izdano 2003

Knjiga

5

Slika na naslovnici

Introducing formal methods : a less mathematical approach /

od Ford, Neville., Ford, Judith.
Izdano 1993

Knjiga

6

Slika na naslovnici

Metode programiranja /

od Bratkovič, Franc, 1936-
Izdano 1978

Knjiga

7

Slika na naslovnici

Metode programiranja /

od Bratkovič, Franc, 1936-
Izdano 1985

Knjiga