Detail publikace

Formal Specifications of Computer-Based Systems - J.UCS Special Issue

DVOŘÁK, V.; ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, 2004, vol. 9, no. 11, p. 1258-1260. ISSN: 0948-6968.
Název česky
Formální specifikace systémů založených na počítačích - speciální číslo J.UCS
Typ
článek v časopise
Jazyk
anglicky
Autoři
Dvořák Václav, prof. Ing., DrSc.
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Rattray Charles
Rozenblit Jerzy
Klíčová slova

Formální specifikace, systémy založené na počítačích

Abstrakt

Úvod ke speciálnímu číslu časopisu J.UCS, věnovaného 4. workshopu o formálních specifikacích systémů založených na počítačích

Rok
2004
Strany
1258–1260
Časopis
Journal of Universal Computer Science, roč. 9, č. 11, ISSN 0948-6968
Kniha
Journal of Universal Computer Science
BibTeX 
@article{BUT45713,
  author="Václav {Dvořák} and Miroslav {Švéda} and Charles {Rattray} and Jerzy {Rozenblit}",
  title="Formal Specifications of Computer-Based Systems - J.UCS Special Issue",
  journal="Journal of Universal Computer Science",
  year="2004",
  volume="9",
  number="11",
  pages="1258--1260",
  issn="0948-6968"
}
Nahoru