QR Code

Semantic integration of heterogeneous formal specifications via transformation systems /

Saved in:

Bibliographic Details
Main Author:	Grosse-Rhode, Martin
Format:	Book
Language:	English
Published:	Berlin : Technická univerzita, 2001
Edition:	[1st ed.]
Series:	Forschungsberichte des Fachbereichs Informatik Nr. 2001/13
Subjects:	softvér > morfizmus > parciálna algebra > globálny limit
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On formal semantics of object systems with data and object attributes /
by: Parnitzke, Daniel
Published: (2001)

Formal specification and analysis of industrial systems /
by: Bos, Victor
Published: (2002)

A formal semantics of UML class diagrams based on transformation systems /
by: Tenzer, Jennifer
Published: (2001)

Formal semantics of programming languages /
Published: (1972)

Acta mathematica Universitatis Comenianae. Spring 1992. Vol. LXI. Nr. 1 /
by: Ivanov, A. F.
Published: (1992)

Sbírka příkladů z matematiky /
by: Samková, Libuše
Published: (2002)

Applied numerical methods in C /
by: Nakamura, Shoichiro
Published: (1993)

Hypotekárne nástroje. Vybrané problémy zavedenia hypotekárnych produktov v Slovenskej republike /
by: Múčková, Viktória
Published: (1995)

Automobily Škoda. Technické a seřizovací hodnoty. 100, 110, 105-130, Favorit, Felicia, Octavia, Fabia, Superb /
by: Koucký, Petr
Published: (2004)

Uravnenija s častnymi proizvodnymi /
by: Bers, Lipman 1914-1993, et al.
Published: (1966)

Partial differential equations : an introduction /
by: Epstein, Bernard
Published: (1962)

Parciální diferenciální rovnice a jejich některá řešení /
by: Rychnovský, Richard, et al.
Published: (1970)

Partial differential equations /
by: John, Fritz 1910-1994
Published: (1971)

Globálny polohový systém a jeho využitie pri realizácii pohybových aktivít u žiakov základných škôl /
by: Adamčák, Štefan, 1971-
Published: (2016)

Úvod do současné ekologie /
by: Storch, David
Published: (2000)

Matematika pre architektov /
by: Knor, Martin, et al.
Published: (2002)

Differential and integral inequalities : theory and applications.
by: Lakshmikantham, V., et al.
Published: (1969)

Problems and solutions in mathematics /
Published: (2011)

From algebraic module specifications to component concepts and integrated modeling techniques /
by: Frantzen, Lars
Published: (2001)

Partial differential equations of evolution /
by: Barták, Jaroslav 1923-1986
Published: (1991)

Moderní metody řešení parciálních difernciálních rovnic /
by: Doktor, Pavel
Published: (1986)

Parciální diferenciální rovnice a jejich některá řešení /
by: Rychnovský, Richard, et al.
Published: (1963)

Die Mathematik des Naturforschers und Ingenieurs.
by: Baule, Bernhard
Published: (1965)

Software specification methods /
by: Habrias, Henri, et al.
Published: (2006)

Modeling, control and design of distributed parameter systems with demonstrations in Matlab /
by: Hulkó, Gabriel
Published: (1998)

Matematická analýza. 1. díl /
by: Švarc, Svatopluk
Published: (1990)

Matematika nula /
by: Dostálková, Iva
Published: (1992)

Bezopasnosť v eru globalizacii /
by: Zaplatinskij, Vasilij, et al.
Published: (2010)

Integrating the Rio conventions into development co-operation /
by: Koning, Peter de
Published: (2002)

Integration of information systems. Bridging heterogeneous databases /
by: Appleton, Daniel S.
Published: (1989)

Formal specification of programming languages. A panoramic primer /
by: Pagan, Frank G.
Published: (1981)

Matematika. 5. díl : Obyčejné a parciální diferenciální rovnice s okrajovými podmínkami /
by: Rektorys, Karel
Published: (1986)

Vybrané statě z matematiky. 1. díl : Analýza v komplexním oboru. Analytické a variační metody řešení parciálních a diferenciálních rovnic /
by: Druckmüller, Miloslav
Published: (1986)

Metoda časové diskretizace a parciální diferenciální rovnice /
by: Rektorys, Karel
Published: (1985)

Nonlinear partial differential equations in engineering /
by: Ames, W. F.
Published: (1965)

Kvazianalogovyje metody modelirovanija krajevych zadač dlja differenciaľnych uravnenij v častnych proizvodnych /
by: Stepanov, A. Je
Published: (1973)

Úvod do řízení úvěrového rizika /
by: Waterhouse, Price
Published: (1994)

Tradeable permits. Policy evaluation, design and reform /
by: Tietenberg, Tom
Published: (2004)

Analýza v příkladech.
by: Pošta, Severin 1975-, et al.
Published: (2009)

Semantics of POOSL. An object-oriented specification language for the analysis and design of hardware/software systems /
by: Voeten, J. P. M.
Published: (1995)