Number of hits: 2
Source type
journals (2)
Journals - titles
Informatica (Ljubljana) (2)odstrani
Journals - form
articles (2)odstrani
Language
english (2)
Date
1989 (2)
Location
Slovensko društvo Informatika (2)odstrani
Content
Script, Books (2)odstrani
Publisher
Slovensko društvo Informatika (2)
Rights
In Copyright (2)odstrani
Access
Public (2)
Search in (2)
Sort by:
An informational theory of discourse
Contibutors: Železnikar, Anton P. (author)
Source: Informatica (Ljubljana)
Numbering: 1989, volume 13, issue 4
Provider: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF document (1880 kB)
1. TXT document (96 kB)
Formal verification of distributed systems
Contibutors: Kapus, Tatjana (author) / Horvat, Bogomir (author)
Source: Informatica (Ljubljana)
Numbering: 1989, volume 13, issue 4
Provider: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF document (356 kB)
1. TXT document (20 kB)
Realization, property and rights 2024 Narodna in univerzitetna knjižnica, Turjaška 1, 1000 Ljubljana