Cover Image

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June 28-July 2, 1993 : proceedings /

Bibliographic Details
Other Authors:	Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V.
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1993]
Series:	Lecture notes in computer science ; 735.
Subjects:	Computer programming.

Similar Items

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /
Published: (1993)

Formal methods of program verification and specification /
Published: (1982)

Theory and formal methods : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 /
Published: (1993)

Computer programming and formal systems /
Published: (1959)

Formal definition of programming languages. : With an application to the definition of algol 60 /
by: Bakker, Jacobus Willem de
Published: (1970)

Formal methods : theory and practice /
Published: (1989)

Formal program development : IFIP TC 2/WG 2.1 state of the art report /
Published: (1993)

Computer programming and formal systems /
by: Braffort, P.
Published: (1963)

Formal description of programming concepts /
Published: (1991)

Formal description of programming concepts--III : proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, Ebberup, Denmark, 25-28 August 1986 /
Published: (1987)

Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts /
Published: (1978)

The formal semantics of programming languages : an introduction /
by: Winskel, G. (Glynn)
Published: (1993)

Computer programming and formal systems
Published: (1963)

Formal development of programs and proofs /
Published: (1990)

An introduction to formal program verification /
by: Mili, Ali
Published: (1985)

Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /
Published: (2023)

Formal methods and object technology /
Published: (1996)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

Formal program development : IFIP TC2/WG 2.1 state-of-the-art report /
Published: (1993)

Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 /
Published: (1985)

Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 /
Published: (1983)

Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
Published: (2011)

Formal semantics of programming languages /
Published: (1972)

The formal semantics of programming languages : an introduction /
by: Winskel, G. (Glynn)
Published: (1993)

Formal differentiation : a program synthesis technique /
by: Paige, Robert A.
Published: (1981)

Applications of formal methods /
Published: (1995)

Formal language description languages for computer programming : proceedings /
Published: (1966)

Formal methods, foundations and applications : 14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papers /
Published: (2011)

Formal specification and software development /
by: Bjørner, D. (Dines), 1937-
Published: (1982)

Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988 /
Published: (1989)

Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /
Published: (1981)

Modern formal methods and applications /
Published: (2006)

Formal and adaptive methods for automation of parallel programs construction : emerging research and opportunities /
by: Doroshenko, Anatoliy, 1948-, et al.
Published: (2019)

Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /
Published: (2005)

Formal languages for computer simulation : transdisciplinary models and applications /
Published: (2014)

Software engineering and formal methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
Published: (2011)

Formal methods and object technology /
Published: (1996)

Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers /
Published: (2011)

Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990 /
Published: (1990)

Formal specification and design /
by: Feijs, L. M. G. (Loe M. G.)
Published: (1992)