DOKAZIVANJE KOREKTNOSTI PROGRAMA PRIMENOM PRAVILA PROGRAMSKE LOGIKE I PRIDRUŽENIH FORMULA PREDIKATSKE LOGIKE

Markoski Branko; Mihajlović J; Šetrajčić Jovan; Vasiljević Petar

Резултати

еНаука > Резултати > DOKAZIVANJE KOREKTNOSTI PROGRAMA PRIMENOM PRAVILA PROGRAMSKE LOGIKE I PRIDRUŽENIH FORMULA PREDIKATSKE LOGIKE

Title:	DOKAZIVANJE KOREKTNOSTI PROGRAMA PRIMENOM PRAVILA PROGRAMSKE LOGIKE I PRIDRUŽENIH FORMULA PREDIKATSKE LOGIKE
Authors:	Markoski Branko; Mihajlović J; Šetrajčić Jovan; Vasiljević Petar
Issue Date:	2008
Publication:	Proceeding of ICDQM'08, ICDQM'08, 2008
Type:	Conference Paper
URI:	https://enauka.gov.rs/handle/123456789/592315 https://cris.uns.ac.rs/en/scientific-results/proceedings-publication/28745 https://www.cris.uns.ac.rs/record.jsf?recordId=26557&source=eNauka&language=en
M-category:	Mp. category will be shown later

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Google Scholar^TM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.