Detail publikace

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

ŠVÉDA Miroslav, RATTRAY Charles a ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, roč. 10, č. 10, 2004, s. 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
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Rattray Charles ( neznámá)
Rozenblit Jerzy ( neznámá)
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
Vydavatel
Springer Verlag
BibTeX
@ARTICLE{FITPUB7633,
   author = "Miroslav \v{S}v\'{e}da and Charles Rattray and Jerzy Rozenblit",
   title = "Formal Specifications of Computer-Based Systems - J.UCS Special Issue",
   pages = "1354--1356",
   booktitle = "Journal of Universal Computer Science",
   journal = "Journal of Universal Computer Science",
   volume = 10,
   number = 10,
   year = 2004,
   ISSN = "0948-6968",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7633"
}
Nahoru