Formalne metode (računalništvo)

This page uses JavaScript. Your browser either doesn't support JavaScript or you have it turned off. To see this page as it is meant to appear please use a JavaScript enabled browser.

Formalne metode (računalništvo)

User

Formalne metode (računalništvo)

= Formal methods (Computer science)

Authority record - topical subject

<< Broader terms:

Načrtovanje sistemov

>><< Related terms:

Programsko inženirstvo

Razvoj programske opreme

>> Narrower terms:

B (formalna metoda)

LCSH: Formal methods (Computer science)

RAMEAU: Méthodes formelles (informatique)

UDK: 004

SGC-ID = 4049256

Registration: 22.12.2017

Upload image

Formalne metode (računalništvo)

Theme