slovodefinícia
methods
(encz)		methods,metody n: pl. Zdeněk Brož
methods
(foldoc)		Methods

A line-oriented Smalltalk for PC's, produced by
Digitalk ca 1985. Methods was the predecessor of
Smalltalk/V.

(1995-04-16)
podobné slovodefinícia
direct costing methods
(encz)		direct costing methods,metody ocenění pomocí přímých
nákladů [eko.] RNDr. Pavel Piskač
experimental methods for preference elicitation
(encz)		experimental methods for preference elicitation,experimentální metody
pro odhalení preferencí [eko.] RNDr. Pavel Piskač
expressed preference methods.
(encz)		expressed preference methods.,metoda vyjádřených
preferencí [eko.] RNDr. Pavel Piskač
physical and chemical methods of waste disposal
(encz)		physical and chemical methods of waste disposal,fyzikální a chemické
metody zneškodňování odpadu [eko.] RNDr. Pavel Piskač
formal methods
(foldoc)		formal methods

Mathematically based techniques
for the specification, development and verification of
software and hardware systems.

Referentially transparent languages are amenable to symbolic
manipulation allowing program transformation (e.g. changing
a clear inefficient specification into an obscure but
efficient program) and proof of correctness.

{Oxford FM archive
(http://comlab.ox.ac.uk/archive/formal-methods.html)}.

(1996-05-15)

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4