Detail publikace

Formal Specifications of Computer-Based Systems

DVOŘÁK, V.

Originální název

Formal Specifications of Computer-Based Systems

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

Originální abstrakt

Introduction to the Special Issue of Journal of Universal Computer Science

Klíčová slova

Formal specifications, Computer-based systems

Autoři

DVOŘÁK, V.

Vydáno

1. 1. 2000

Nakladatel

Springer Verlag

Místo

Graz

ISBN

3-540-62047-8

Kniha

Journal of Universal Computer Science

Strany od

1

Strany do

3

Strany počet

3

BibTex

@article{BUT192265,
  author="Václav {Dvořák}",
  title="Formal Specifications of Computer-Based Systems",
  year="2000",
  volume="6",
  number="11",
  pages="1--3"
}