VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings

VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings

Bibliographic Details
Other Authors:	Bjørner, D
Format:	Conference item
Published:	Springer 1990

Similar Items

Spesifikasi formal bagi sistem multi robot berorientasikan agen menggunakan vdm++ /
by: 338733 Wong, Lih Jiin, et al.
Published: (2009)

Integration of the vehicle dynamic model (VDM) into the visual database of the driving smulation /
by: 280476 Heng, Khay Loon
Published: (2005)

Spesifikasi formal bagi sistem multi robot berorientasikan agen menggunakan vdm++ [electronic resource] /
by: 338733 Wong, Lih Jiin
Published: (2009)

Efficient IoT-Based Formal Model for Vehicle-Life Interaction in VANETs Using VDM-SL
by: Sidra Iqbal, et al.
Published: (2022-01-01)

vdmR: Generating Web-Based Visual Data Mining Tools with R
by: Tomokazu Fujino
Published: (2017-11-01)

Approximation of vehicle dynamic model (VDM) computation using Design of Experiment (DOE) technique /
by: 281332 Low, Poh Chuang
Published: (2006)

Integration of the vehicle dynamic model (VDM) into the visual database of the driving smulation [compact disc] /
by: 280476 Heng, Khay Loon
Published: (2005)

Enhanced Drone Navigation in GNSS Denied Environment Using VDM and Hall Effect Sensor
by: Shady Zahran, et al.
Published: (2019-04-01)

Process Map Definition for Laser Metal Deposition of VDM Alloy 780 on the 316L Substrate
by: Pascal Paulus, et al.
Published: (2023-04-01)

Approximation of vehicle dynamic model (VDM) computation using Design of Experiment (DOE) technique [compact disc] /
by: 281332 Low, Poh Chuang
Published: (2006)

Thomas Müller (2008). Dramapädagogik und Deutsch als Fremdsprache. Eine Bestandsaufnahme. Saarbrücken. VDM Verlag
by: Matthias, Bettina
Published: (2009-07-01)

Un retrato del artículo vasco en el año 1895 mediante el programa "VDM"
by: Ekaitz Santazilia
Published: (2010-02-01)

Self-consistent positive streamer-leader propagation model based on Finite Element Method (FEM) and Voltage Distortion Method (VDM)
by: Ma, Ziwei, et al.
Published: (2023)

Rezension zu: Doreen Lutze (2007) Die moderne Patientenbibliothek: Herausforderungen im Spannungsfeld von Gesundheitspolitik und Informationsgesellschaft. Saarbrücken: VDM Müller
by: Birgit Schlauß, et al.
Published: (2008-04-01)

DONADONE, Julio. Cesar. In the world of intermediaries. Consulting firms, business press and the reorganization of the management activities. Publisher: VDM Verlag Dr. Müller, 2010.
by: Elaine da Silveira Leite
Published: (2011-12-01)

DAMONTE, Gerardo H. The Constitution of Political Actors. Peasant Communities, Mining, and Mobilization in Bolivian and Peruvian Andes. Saarbrücken-Berlin: VDM Verlag, 2008, 349 pp.
by: Mireya Bravo Frey
Published: (2010-03-01)

Two Metalloproteases VdM35-1 and VdASPF2 from Verticillium dahliae Are Required for Fungal Pathogenicity, Stress Adaptation, and Activating Immune Response of Host
by: Junyuan Lv, et al.
Published: (2022-12-01)

Near-Surface and Bulk Dissolution Behavior of γ′ Precipitates in Nickel-Based VDM<sup>®</sup> Alloy 780 Studied with In-Situ Lab-Source and Synchrotron X-ray Diffraction
by: Frank Kümmel, et al.
Published: (2022-06-01)

Rezension zu: Greifeneder, Elke (2007) Online-Hilfen in OPACs. Analyse deutscher Universitäts-Onlinekataloge. Saarbrücken: VDM Verlag Dr. Müller. 112 S., € 49, ISBN 978-3-8364-4674-7
by: Angela Leichtweiß
Published: (2008-09-01)

Environmental meteorology : proceedings of an international symposium, held in Wurzburg, FRG, 29 September - 1 October 1987 /
by: Grefen, Klaus, et al.
Published: (1988)

Approving software products : proceedings of the IFIP WG 5.4 Working Conference on Approving Software Products (ASP-90), Garmisch-Partenkirchen, F.R.G., 17-19 September, 1990 /
by: IFIP WG 5.4 Working Conferences on Approving Software Products (1990 : Garmisch-Partenkirchen, Germany), et al.
Published: (1990)

Proceeding of the third symposium on the developmnet

Proceeding of the Third International Research Symposium
by: ejssd journal
Published: (2020-12-01)

Proceedings of the Third Gondwanan Dinosaur Symposium
by: Alexander W.A. Kellner, et al.
Published: (2011-03-01)

Proceedings of the 7th International Symposium on the Foundations of Information and Knowledge Systems‚ FoIKS 2012‚ Kiel‚ Germany‚ March 5−9‚ 2012
Published: (2012)

Proceedings of the third international symposium on dredging technology /
by: International Symposium on Dredging Technology (3rd : 1980 : Bordeaux, France), et al.
Published: (c198)

THE USSR AND FRG’S “NEW OSTPOLITIK”
by: A. M. Filitov
Published: (2017-11-01)

Proceedings of the Symposium on Malaysian Gas Industry '90, 18-19 September 1990, Petronas Management Training Institute (PERMATA) /
by: Symposium on Malaysian Gas Industry (1990 : Bangi, Selangor), et al.
Published: (1990)

An was genau erinnert „Kiel 1969“?
by: U. Strohmayer
Published: (2020-07-01)

Kiel 1969 – ein Mythos?
by: B. Korf
Published: (2014-12-01)

„Kiel 1969“ – ein Erinnerungsort
by: J. Verne
Published: (2021-05-01)

International wireless and telecommunications symposium/exhibition : foundations for the third millennium : [symposium proceedings] /
by: International Wireless and Telecommunications Symposium (4th. : 2000 : Shah Alam, Selangor)
Published: (2000)

Third SPE Symposium on Formation Domage Control : proceedings
by: SPE Symposium on Formation Damage Control (3rd : 1978 : Lafayette, Louisiana)
Published: (1978)

Fire safety science : proceedings of the third international symposium /
by: Cox, Geoffrey, et al.

Proceedings of the Third Ship Technology and Research (STAR) Symposium
by: 469104 Ship Technology and Research (STAR) Symposium (3rd : 1978 : New London, CT), et al.
Published: (1978)

International Symposium on Fundamentals of Software Engineering [electronic resource]: international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings/
by: International Symposium on Fundamentals of Software Engineering (2nd : 2007 : Tehran, Iran), et al.
Published: (2007)

Decontamination of highway surface runoff in the FRG /
by: 249039 Stotz, G.

New Results for Reggeons using FRG
by: Contreras Carlos, et al.
Published: (2022-01-01)

New materials and their applications, 1990 : proceedings of the 2nd International Symposium on New Materials and their Applications, held at the University of Warwick, 10-12 April 1990 /
by: International Symposium on New Materials and their Applications (2nd : 1990 : University of Warwick), et al.
Published: (1990)

Systems integration '90 : proceedings of the First International Conference on Systems Integration, Morristown, NJ, April 23-26, 1990/
by: International Conference on Systems Integration (1st : 1990 : Morristown, NJ), et al.
Published: (1990)