Prikaz rezultata 1 – 3 od 3 za pretragu '', vrijeme upita: 0,01s Detaljiziraj rezultate
  1. 1

    The way of Z practical programming with formal methods od Jacky, Jonathan

    Izdano 1997
    Knjiga

    The way of Z practical programming with formal methods
  2. 2

    ZUM '95, the Z formal specification notation 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

    Izdano 1995
    Knjiga

    ZUM '95, the Z formal specification notation 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings
  3. 3

    Introductory logic and formal methods od Heath, David

    Izdano 1994
    Knjiga

    Introductory logic and formal methods

Alati za pretragu: