Detail publikace

Formal Specifications of Computer-Based Systems

DVOŘÁK, V. Formal Specifications of Computer-Based Systems. 2000, vol. 6, no. 11, p. 1-3.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Dvořák Václav, prof. Ing., DrSc.
Klíčová slova

Formal specifications, Computer-based systems

Abstrakt

Introduction to the Special Issue of Journal of Universal Computer Science

Rok
2000
Strany
1–3
Kniha
Journal of Universal Computer Science
Svazek
6
Číslo
11
ISBN
3-540-62047-8
Vydavatel
Springer Verlag
Místo
Graz
BibTeX 
@article{BUT192265,
  author="Václav {Dvořák}",
  title="Formal Specifications of Computer-Based Systems",
  year="2000",
  volume="6",
  number="11",
  pages="1--3"
}
Nahoru