QR kód

Mural. A formal development support system /

Uložené v:

Podrobná bibliografia
Hlavný autor:	Jones, Clifford Bryn
Médium:	Kniha
Jazyk:	English
Vydavateľské údaje:	London : Springer, 1991
Vydanie:	1st ed.
ISBN:	354019651X
On-line prístup:
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Podobné jednotky

Theory of formal systems /
Autor: Smullyan, Raymond M.
Vydavateľské údaje: (1961)

Modelling support in information systems development /
Autor: Wijers, Gerardus Maria
Vydavateľské údaje: (1991)

Formal System Verification State-of the-Art and Future Trends /
Vydavateľské údaje: (2018)

Algebraic Formalization of Smart Systems Theory and Practice /
Autor: Serdyukova, Natalia
Vydavateľské údaje: (2018)

Formale Sprachen /
Autor: Salomaa, Arto K.
Vydavateľské údaje: (1978)

Formal specification and analysis of industrial systems /
Autor: Bos, Victor
Vydavateľské údaje: (2002)

Public support for international development /
Autor: Rice, Andrew E.
Vydavateľské údaje: (1996)

Open and Distance Non-formal Education in Developing Countries
Autor: Latchem, Colin
Vydavateľské údaje: (2018)

Introduction to Formal Philosophy
Vydavateľské údaje: (2018)

Formalization of natural languages /
Autor: Kümmel, Peter
Vydavateľské údaje: (1979)

Developing an adaptive scheduling support environment /
Autor: Verbraeck, Alexander
Vydavateľské údaje: (1991)

A FORMALISM FOR CONCURENT PROCESSES /
Autor: Kaldewaij, Anne
Vydavateľské údaje: (1986)

FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /
Autor: Jones, C. B.
Vydavateľské údaje: (1993)

Decision support systems : the international journal

Thermodynamic formalism : the mathematical structures of classical equilibrium, statistical mechanics /
Autor: Ruelle, David
Vydavateľské údaje: (1978)

Formal techniques for verification of complex real-time systems /
Autor: Geilen, Marc Constantijn Willem
Vydavateľské údaje: (2002)

On formal semantics of object systems with data and object attributes /
Autor: Parnitzke, Daniel
Vydavateľské údaje: (2001)

Guide to the system of public support for research, development and innovation in the Czech Republic.
Vydavateľské údaje: (2016)

Handbook of decision support systems /
Autor: Andriole, Stephen J.
Vydavateľské údaje: (1989)

EFFECTIVENESS OF decision SUPPORT SYSTEMS /
Autor: Schaik, Francois Dignus Johannes Van
Vydavateľské údaje: (1988)

Descriptional complexity of formal systems : DCFS 2007, proceedings, ninth international workshop, High Tatras, July 20-22, 2007 /
Autor: Jürgensen, Helmut
Vydavateľské údaje: (2007)

AN INTRODUCTION TO FORMAL LANGUAGE THEORY /
Autor: Moll, Robert N.
Vydavateľské údaje: (1988)

Connecting informal and formal mathematics /
Autor: Elbers, Hugo Johannes
Vydavateľské údaje: (1998)

Formal foundations of correct programming /
Autor: Novitzká, Valerie
Vydavateľské údaje: (1999)

Formal semantics of programming languages /
Vydavateľské údaje: (1972)

Automata theory and formal languages /
Vydavateľské údaje: (1975)

Decision support systems. A survey /
Autor: Goodstein, L. P.
Vydavateľské údaje: (1991)

Private sector development. A guide to donor support /
Vydavateľské údaje: (1995)

A formal approach to hardware design /
Autor: Staunstrup, Jorgen
Vydavateľské údaje: (1994)

Towards a formal description of ADA /
Autor: Bundgaard, Jorgen
Vydavateľské údaje: (1980)

Swarm Robotics: A Formal Approach
Autor: Hamann, Heiko
Vydavateľské údaje: (2018)

Formal techniques in artificial intelligence : A sourcebook /
Autor: Avenhaus, J.
Vydavateľské údaje: (1990)

Spatial decision support systems : principles and practices /
Autor: Sugumaran, Ramanathan, a ďalší
Vydavateľské údaje: (2011)

Semantic integration of heterogeneous formal specifications via transformation systems /
Autor: Grosse-Rhode, Martin
Vydavateľské údaje: (2001)

A formal semantics of UML class diagrams based on transformation systems /
Autor: Tenzer, Jennifer
Vydavateľské údaje: (2001)

Decision support systems in academic libraries /
Autor: Adams, Roy James
Vydavateľské údaje: (1991)

DECISION SUPPORT SYSTEMS. THEORY AND APPLICATION /
Autor: Sol, Henk G.
Vydavateľské údaje: (1987)

Decision support systems for emergency management /
Autor: Andersen, V.
Vydavateľské údaje: (1988)

Intelligent Decision Support Systems : Applications in Signal Processing /
Vydavateľské údaje: (2019)

Formal and practical aspects of autonomic computing and networking : specification, development, and verification /
Autor: Cong-Vinh, Phan
Vydavateľské údaje: (2011)