QR kód

VDM '87. VDM - A formal method at work : VDM-Europe symposium 1987. Proceedings, Brussels, Belgium, March 23-26, 1987 /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Lucas, Peter
Korporativní autor:	VDM-Europe symposium 1987. Proceedings Belgium, Brussels
Médium:	Konferenční příspěvek Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer, 1987
Edice:	Lecture notes in computer science Vol. 252
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Systematic software development using VDM /
Autor: Jones, Cliff B.
Vydáno: (1986)

PERFORMANCE '87 : PROCEEDINGS OF THE 12TH IFIPWG 7.3 INTERNAT. SYMPOSIUM ON COMPUTER PERFORMANCE MODELLING, MEASUREMENT AND EVALUATION, BRUSSELS, BELGIUM, 7-9 DEC. 1987 /
Autor: Mackenna, James
Vydáno: (1988)

Incheba '87 : Enzyme technologies. Interbiotech '87June 25 - 26, 1987 /
Autor: Blažej, A.
Vydáno: (1987)

Interbiotech '87 : Enzyme technologies : proceedings of the international symposium on biotechnology, Bratislava, Czechoslovakia, June 25 - 26, 1987 /
Autor: Blažej, A.
Vydáno: (1987)

Formal Methods for Safety and Security Case Studies for Aerospace Applications /
Vydáno: (2018)

Industrial crystallization 87 : Proceedings of the 10th symposium, Bechyně, Czechoslovakia, 21. - 25. 9. 1987 /
Autor: Kashchiev, D.
Vydáno: (1989)

FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /
Autor: Jones, C. B.
Vydáno: (1993)

Tapsoft '87. Vol. 2 : Proceedings of the internat. joint conf. on theory and practice of software development, Pisa, Italy, March 23 - 27, 1987 /
Autor: Goguen, Joseph A.
Vydáno: (1987)

Tapsoft '87. Vol. 1 : Proceedings of the internat. joint conf. on theory and practice of software development, Pisa, Italy, March 23 - 27, 1987 /
Autor: Wegener, Ingo
Vydáno: (1987)

ADVANCES IN STEROID ANALYSIS '87 : PROCEEDINGS OF THE SYMPOSIUM ON THE ANALYSIS OF STEROIDS, SOPRON, HUNGARY, OCT. 20 - 22, 1987 /
Autor: Cekan, S. Z.
Vydáno: (1988)

Software engineering and formal methods : SEFM 2003, Brisbane, Australia, Sept. 22 to 27, 2003 /
Autor: Dromey, R. G.
Vydáno: (2003)

Iontová spektroskopie '87 : Na Přimdě, 5. - 9. 10. 1987 /
Autor: Tvarožek, Vladimír
Vydáno: (1987)

Computational techniques and applications. CTAC - 87 : Proceedings of the 1987 internat. conf., Sydney, Australia, 24 - 27 August, 1987 /
Autor: Noye, John
Vydáno: (1988)

Formal description of programming concepts Proceedings of the IFFP working conference on Formal description of programming concepts : St. Andrews, N. B., Canada Aug. 1-5, 1977 /
Autor: Paul, Manfred
Vydáno: (1978)

Formalization of natural languages /
Autor: Kümmel, Peter
Vydáno: (1979)

LOGIC PROGRAMMING 87 : PROCEEDINGS OF THE 6TH CONFERENCE, Tokyo, Japan, June 22-24, 1987 /
Autor: Jaffer, Joxan
Vydáno: (1988)

Industrial crystallization 87 : Proceedings of the 10th symp., Bechyně, Czechoslovakia, Sept. 21 - 25, 1987 /
Autor: Nývlt, Jaroslav 1932-
Vydáno: (1989)

Formale Sprachen /
Autor: Salomaa, Arto K.
Vydáno: (1978)

COMEMOP '87 : Riadenie zložitých systémov s využitím umelej inteligencie : 4. celoštátna konferencia, Bojnice, hotel Régia, 26. - 28. 5. 1987 /
Autor: Uličný, Ján
Vydáno: (1987)

TECHRENO '87 : Technické novinky v renováciiZborník prednášok, Žilina, 14. - 16. 4. 1987 /
Autor: Královenský, Jozef 1938-2007
Vydáno: (1987)

Formal VLSI specification and synthesis. VLSI design methods. Vol. I : Proceedings of the IFIP WG 10.2/WG 10.5 internat. workshop on applied formal methods for correct VLSI design, Houthalen, Belgium, 13 - 16 Nov., 1989 /
Autor: Claesen, Luc J. M.
Vydáno: (1990)

AUTOS 87. Automatizace ve strojírenství : Sborník příspěvků. 2. díl23. - 25. 6. 1987 /
Autor: Anderle, Jan
Vydáno: (1987)

Youth work and non-formal learning in Europe's education landscape : a quarter of a century of EU cooperation for youth policy and practice /
Vydáno: (2015)

Circuit theory and design 87 : Proceedings of the European conf., Paris, France, 1 - 4 Sept., 1987 /
Autor: Gerber, R.
Vydáno: (1987)

Digital signal processing - 87 : Proceedings of the internat. conf., Florence, Italy, 7 - 10 Sept., 1987 /
Autor: Cappellini, V.
Vydáno: (1987)

Komplexní automatizace '87 : Automatizace a robotizace : sborník přednášek, 27. - 29. 10. 1987 /
Autor: Rathan, René
Vydáno: (1987)

ONLINE INFORMATION 87 : 11TH ONLINE INTERNATIONAL MEETING, LONDON, 8 - 10 DEC. 1987 /
Autor: Buffet, P.
Vydáno: (1987)

Televízne kábelové rozvody '87 : zborník, Banská Bystrica, 10. - 11. 11. 1987 /
Vydáno: (1987)

Drevostavby '87 : stavebné sústavy na báze dreva ; zborník prednášok, Považská Bystrica, Československo, 3.- 4. 6. 1987 /
Vydáno: (1987)

Theory of formal systems /
Autor: Smullyan, Raymond M.
Vydáno: (1961)

Introduction to Formal Philosophy
Vydáno: (2018)

Formal aspects of cognitive processes : interdisciplinary conference Ann Arbor, March 1972 /
Autor: Storer, Thomas
Vydáno: (1975)

Spoľahlivosť v strojárstve '87 : zborník, Piešťany, Československo, 31.3. - 1.4. 1987 /
Vydáno: (1987)

INFOS '87 : zborník zo 17. informatického seminára konaného v dňoch 13. - 16. 4. 1987 vo Vrátnej doline /
Autor: Štefánik, Vladimír
Vydáno: (1987)

Sintering '87. Vol. 1 : Proceedings of the 4th internat. symp. on science and technology, Tokyo, 4 - 6 Nov., 1987 /
Autor: Sómiya, Shigeyuki
Vydáno: (1988)

A FORMALISM FOR CONCURENT PROCESSES /
Autor: Kaldewaij, Anne
Vydáno: (1986)

DRYING '87 /
Autor: Mujumdar, Arun S.
Vydáno: (1987)

THE VIENNA DEVELOPMENT METHOD. The Meta-language /
Autor: Lucas, Peter
Vydáno: (1978)

JAHRESBERICHT. 1986/87 /
Autor: Oepen, Hans Peter
Vydáno: (1987)

Modeling telecom networks and systems architecture. Conceptual tools and formal methods /
Autor: Muth, Thomas
Vydáno: (2001)