Detail publikace

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

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

Formal specifications, Computer-based systems

Abstrakt

Úvod ke speciálnímu číslu časopisu Journal of Universal Computer Science věnovanému 5. Workshopu o formálních specifikacích systémů založaných na počítačích.

Rok
2004
Strany
1354–1356
Časopis
Journal of Universal Computer Science, roč. 10, č. 10, ISSN 0948-6968
Kniha
Journal of Universal Computer Science
BibTeX 
@article{BUT45736,
  author="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="10",
  number="10",
  pages="1354--1356",
  issn="0948-6968"
}
Nahoru