QR-Code

FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jones, C. B.
Körperschaft:	Proceedings Denmark, Odense
Weitere Verfasser:	Woodcock, J. C. P. (HerausgeberIn), Larsen, P. G.
Format:	Tagungsbericht Buch
Sprache:	Englisch
Veröffentlicht:	Berlin : Springer, 1993
Ausgabe:	[1st ed.]
Schriftenreihe:	Lecture notes in computer science Vol. 670
Schlagworte:	objektovo orientovaná vývojová metóda > integrácia LOTOSu > modálna logika > špecifikácia systémov v reálnom čase > preverovanie symbolických modelov zborníky
ISBN:	3540566627
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Program specification and transformation : Proceedings of the IFIP TC2/WG2.1 working conf., Bad Tölz, FRG, 15 - 17 April, 1986 /
von: Meertens, Lambert G. L. T.
Veröffentlicht: (1987)

First ACM and IEEE international conference on formal methods and models for co-design. MEMOCODE'03 : Proceedings, Mont Saint-Michel, France, 24 - 26 June 2003 /
von: Meseguer, José
Veröffentlicht: (2003)

Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 /
von: Courcoubetis, Costas
Veröffentlicht: (1993)

A resolution method for some systems of modal logic /
von: Sommerhalder, Rudolf
Veröffentlicht: (1992)

Prověření vlastností nerezavějící oceli typu Cr 17Ni2 /
von: Kabrhel, Adolf
Veröffentlicht: (1966)

Úvod do informačných systémov /
von: Bednár, Peter
Veröffentlicht: (1998)

Graphics programming in Turbo C++ /
von: Ezzell, Ben
Veröffentlicht: (1990)

Softwarové inženýrství. I. díl /
von: Richta, Karel
Veröffentlicht: (1996)

Myslíme v jazyku Delphi 7. Knihovna zkušeného programátora /
von: Cantu, Marco
Veröffentlicht: (2003)

Groupware. Design, implementation, and use. Proceedings : CRIWG 2003, Autrans, France, Sept. 28 - Oct. 2, 2003 /
von: Favela, Jesus
Veröffentlicht: (2003)

Reconfigurable embedded control systems : applications for flexibility and agility /
Veröffentlicht: (2011)

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

Applications in parallel and distributed computing : Proceedings of the IFIP WG10.3 working conf., Caracas, Venezuela, 18 - 22 April, 1994 /
von: Misra, Manavendra
Veröffentlicht: (1994)

Mathematical modelling of technical processes. Prepared within SOCRATES - ERAMUS programme : MAMOTEP, Prešov, July 2 - 13, 2001 /
von: Hrubina, Kamil
Veröffentlicht: (2001)

Hybrid dynamical systems : controller and sensor switching problems /
von: Savkin, Andrey V., et al.
Veröffentlicht: (2002)

Architectures and compilation techniques for fine and medium grain parallelism : Proceedings of the IFIP WG10.3 working conf., Orlando, Florida, USA, 20 - 22 Jan., 1993 /
von: Wang, Jian
Veröffentlicht: (1993)

European joint conferences on theory and practice of software. 2003. Satellite events : ETAPS, Warsaw, April 5 - 13 2003
Veröffentlicht: (2003)

Dynamical systems and automatic control /
von: Carvalho, J. L. Martins de
Veröffentlicht: (1993)

Matematická logika /
von: Kvasnička, Vladimír 1924-, et al.
Veröffentlicht: (2006)

Real-time embedded systems : optimization, synthesis, and networking /
von: Qiu, Meikang, et al.
Veröffentlicht: (2011)

Real-time systems : formal specification and automatic verification /
von: Olderog, Ernst-Rüdiger, et al.
Veröffentlicht: (2008)

Software engineering for parallel real-time systems : Proceedings of the internat. workshop, Smolenice, March 1993 /
von: Henkel, J.
Veröffentlicht: (1993)

Základy informačných systémov /
von: Mihók, Peter 1948-
Veröffentlicht: (1998)

Object-oriented and mixed programming paradigms. New directions in computer graphics /
von: Fellner, Dieter W.
Veröffentlicht: (1996)

Object data management. Object-oriented and extended relational database systems /
von: Cattell, Roderic Geoffrey Galton
Veröffentlicht: (1994)

CAD and Office integration. OLE for design and modeling. A new technology for CA software /
von: Sendler, Ulrich
Veröffentlicht: (1996)

The book of Zope : how to build and deliver web applications : beehive /
von: Kirchner, Katrin
Veröffentlicht: (2001)

Advances in databases and information systems : ADBIS 2002, proceedings ; 6th East-European conference, Bratislava, Slovakia, September 8 - 11, 2002.
Veröffentlicht: (2002)

Network and operating systems support for digital audio and video : Proceedings, Durham, New Hampshire, USA, April 19-21, 1995 /
von: Little, Thomas D. C.
Veröffentlicht: (1995)

TAPSOFT '93. Theory and practice of software development : Proceedings, Orsay, France, April 13 - 17, 1993 /
von: Guttag, John V.
Veröffentlicht: (1993)

Aplikácia stereológie pri výskume hornín /
von: Timčák, Gejza M.
Veröffentlicht: (2002)

Software specification methods /
von: Habrias, Henri, et al.
Veröffentlicht: (2006)

Mikroprocesorové systémy. Návody na cvičenia /
von: Ilkovič, Ján
Veröffentlicht: (1991)

Database systems for advanced applications '95 : Proceedings of the 4th internat. conf., April 10 - 13, 1995 /
von: Ling, Tok Wang
Veröffentlicht: (1995)

Databázové systémy. Telekomunikácie 95 : medzinárodný odborný seminár, 1. 6. - 2. 6. 1995 /
von: Šešera, Ľubor
Veröffentlicht: (1995)

Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung. Band 1 /
von: Bieber, E.
Veröffentlicht: (1995)

LabVIEW 8. Evaluation CD
Veröffentlicht: (2008)

3rd international conference on data and knowledge systems for manufacturing and engineering : France, March 17 - 20, 1992 /
von: Bellosta, Marie-Jo
Veröffentlicht: (1992)

Databázové systémy.
von: Pokorný, Jaroslav 1948-
Veröffentlicht: (2007)

Mikropočítač a jeho programování /
von: Starý, Jaroslav
Veröffentlicht: (1988)