QR kód

Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International spring school ; Wendisch-Rietz, GDR, 22. - 26. 4. 1985 /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Bergstra, J. A., 1951- (Autor)
Korporativní autor:	Mathematical methods of specification and synthesis of software systems '85
Médium:	Konferenční příspěvek Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Akademie, 1986
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Software specification methods /
Autor: Habrias, Henri, a další
Vydáno: (2006)

Controller synthesis for application specific integrated circuits /
Autor: Zahir, Rumi
Vydáno: (1991)

Dni nového software SMEP '85 : 11. - 12. 9. 1985 /
Autor: Králik, M.
Vydáno: (1985)

Test methods, specifications and standards.
Vydáno: (1979)

Numerical methods and software tools in industrial mathematics /
Autor: Daehlen, Morten
Vydáno: (1997)

Mathematical software.
Vydáno: (1977)

FERMAT days 85. Mathematics for optimization /
Autor: Attouch, H.
Vydáno: (1986)

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)

Specification and design of software systems : Conf. on operating systems, Visegrad, Hungary, Jan. 23 - 27, 1982 /
Autor: Máté, L. L.
Vydáno: (1983)

Fifth international workshop on software specification and design : proceedings, Pittsburgh, Pennsylvania, U. S. A., May 19-20, 1989 /
Autor: Neumann, Peter G.
Vydáno: (1989)

Today's mathematics. Concepts and methods in elementary school mathematics /
Autor: Heddens, James W.
Vydáno: (1988)

Software for numerical mathematics /
Vydáno: (1974)

SOME MODERN METHODS OF ORGANIC SYNTHESIS /
Autor: Carruthers, W.
Vydáno: (1988)

Optimization Methods and Software

Inovácia '85 : 10. jubilejná celoštátna konferencia ; Poprad, 26. - 27. 3. 1985 /
Autor: Buda, Ján, 1926-2021
Vydáno: (1985)

ACM transactions on mathematical software
Vydáno: (1975)

Sources and development of mathematical software /
Autor: Cody, W. J.
Vydáno: (1984)

Aplichem '85 : V. kongres so zahraničnou účasťou pre Medzinárodnom chemickom veľtrhu INCHEBA '85, 24.6. - 26.6.1985 /
Vydáno: (1985)

Construction specifications /
Autor: Lewis, Jack R.
Vydáno: (1975)

Mathematical methods in engineering /
Autor: Barnett, S.
Vydáno: (1984)

Mathematical methods for physicists /
Autor: Arfken, George B.
Vydáno: (1995)

Mathematical methods for physicists /
Autor: Arfken, George B., a další
Vydáno: (2005)

Mathematical methods for physics /
Autor: Wyld, Henry William
Vydáno: (1976)

Chromatography '85 : proceedings of the Budapest chromatography conference ; Hungary, June 11 - 14, 1985 /
Autor: Horváth
Vydáno: (1986)

Logic colloquium '85 : Proceedings of the colloquium, Orsay, France, July 1985 /
Autor: Burdman Feferman, Anita
Vydáno: (1987)

Computer graphics '85 : Proceedings of the internat. conf., London, Oct. 1985 /
Autor: Paller, Allan
Vydáno: (1985)

INFOS '85 : 15. informatický seminár ; Vrátna dolina, 15. - 18. 4. 1985 /
Autor: Kimlička, Štefan, 1943-2006
Vydáno: (1985)

Classics in total synthesis. Targets, strategies, methods /
Autor: Nicolaou, K. C.
Vydáno: (1996)

Methods and aspects of active-RC filter synthesis /
Autor: Bokhoven, W. M. G. van
Vydáno: (1970)

ECOUR '85. 1. diel : zborník prednášok ; 26. - 28. 11. 1985 /
Autor: Ružička, Milan 1929-
Vydáno: (1985)

ECOUR '85. 2. diel : zborník prednášok ; 26. - 28. 11. 1985 /
Autor: Hilber, Hubert
Vydáno: (1985)

Effective methods for software testing /
Autor: Perry, William E. 1931-
Vydáno: (2006)

Algebraic methods. Theory, tools and applications /
Autor: Bergstra, Jan A.
Vydáno: (1989)

Údržba '85 : Anotace přednášek celostátní konfernce se zahraniční účastíKarlovy Vary, 26. - 28. 11. 1985 /
Autor: Kozar, Z.
Vydáno: (1985)

Proceedings of '85 international conference on advanced robotics : 9, 10 Sept. 1985 /
Autor: Feldmann, Michel
Vydáno: (1985)

Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2 /
Vydáno: (2018)

POOSL. An object-oriented specification language for the analysis and design of hardware/software systems /
Autor: Voeten, J. P. M.
Vydáno: (1995)

Inovácia '85 : zborník prednášok z 10. jubilejnej celoštátnej konferencie ; Poprad, Hotel Gerlach, 26. - 27. 3. 1985 /
Autor: Zahradníček, Jan
Vydáno: (1985)

TAU 97. 1997 ACM/IEEE international workshop on timing issues in the specification and synthesis of digital systems : Austin, Texas, Dec. 4 - 5, 1997 /
Autor: Malik, Sharad
Vydáno: (1997)

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