Detail publikace

Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems

RATTRAY Charles a ŠVÉDA Miroslav. Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Procedings of University of Stirling. Napier University, Edinburgh: IEEE Computer Society, 2000. ISBN 1-85-769121-0.
Název česky
Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Typ
kniha
Jazyk
angličtina
Autoři
Rattray Charles ( neznámá)
Švéda Miroslav, Doc. Ing., CSc. (UIVT FEI VUT)
Abstrakt

The proceedings presents 17 papers accepted for presentation at the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Edinburgh, Scotland, April 6-7, 2000.

Rok
2000
Strany
85
Řada
Procedings of University of Stirling
ISBN
1-85-769121-0
Vydavatel
IEEE Computer Society
Místo
Napier University, Edinburgh, GB
BibTeX
@BOOK{FITPUB6510,
   author = "Charles Rattray and Miroslav \v{S}v\'{e}da",
   title = "Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
   pages = 85,
   series = "Procedings of University of Stirling",
   year = 2000,
   location = "Napier University, Edinburgh, GB",
   publisher = "IEEE Computer Society",
   ISBN = "1-85-769121-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6510"
}
Nahoru