Formal description techniques, II proceedings of the ... FORTE '89, Vancouver, Canada, 5-8 December 1989

Formal description techniques, II proceedings of the ... FORTE '89, Vancouver, Canada, 5-8 December 1989

Saved in:

Bibliographic Details
Corporate Authors:	IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, IFIP TC 6/WG 6.1
Other Authors:	Vuong, Son T
Format:	Book
Published:	Amsterdam North-Holland 1990
Subjects:	Formal language > Congresses Electronic digital computers > Programming > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal description techniques, IV proceedings of the ... FORTE '91, Sydney, Australia, 19-22 November 1991
Published: (1992)

Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977
Published: (1986)

Using formal description techniques an introduction to Estelle, LOTOS, and SDL
Published: (1993)

Formal description techniques, V proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992
Published: (1993)

Formal description techniques, V111 proceeding the IFIP TC6/WG6.1 Eighth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol
Published: (1996)

Formal models and practical tools for information systems design proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979
Published: (1979)

Formal languages
by: Salomaa, Arto
Published: (1987)

Simple program schemes and formal languages
by: Engelfriet, Joost
Published: (1974)

Lectures on formal methods and performance analysis revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000
Published: (2001)

Formal models in programming
Published: (1985)

Theory of formal languages with applications
by: Simovici, Dan A.
Published: (1999)

Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
Published: (2010)

Automata, languages, and programming 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings
Published: (1989)

Algebraic and automata-theoretic properties of formal languages
by: Ginsburg, Seymour 1927-
Published: (1975)

Mathematical foundations of computer science, 1976 proceedings, 5th Symposium, Gdansk, September 6-10, 1976
Published: (1976)

Understanding formal methods
by: Monin, Jean Fran?cois 1960-
Published: (2003)

Formal groups and applications
by: Hazewinkel, Michiel
Published: (1978)

Testamentary formalities
Published: (2011)

Grammars for programming languages
by: Cleaveland, J. Craig
Published: (1977)

Data base description proceedings of the IFIP TC-2 Special Working Conference on Data Base Description

Automata, languages, and programming third international colloquium at the University of Edinburgh
Published: (1976)

Automata, languages and programming. 2d Colloquium, University of Saarbrucken, July 29 - August 2, 1974.
Published: (1974)

An introduction to formal languages and automata
by: Linz, Peter
Published: (2001)

An introduction to formal languages and automata
by: Linz, Peter
Published: (2012)

An introduction to formal languages and automata
by: Linz, Peter
Published: (2012)

Formal semantics of Programming languages.
Published: (1972)

Natural language understanding and logic programming,II Proceedings od the Second International Workshop on Natural Language Understanding and Logic Programming Vancouver, Canada 17-19 August 1987
Published: (1988)

Semigroups algebraic theory applications to formal languges and codes
Published: (1993)

Pendidikan non formal pengelaman Kolombia, Kuba, Kenya dan Indonesia dalam pembangunan masyarakat desa
by: Faisal, Sanapiah

Formal grammars in linguistics and psycholinguistics
by: Levelt, W. J. M 1938- Willem J. M.
Published: (2008)

Automatic syntactic analysis
by: Foster, J. M. John Michael
Published: (1970)

Grammatical inference algorithms and applications proceedings of the ...held September 11 - 13, 2000
Published: (2000)

Command languages proceedings of the IFIP Working Conference on Command Languages
Published: (1975)

Language design and programming methodology proceedings of a symposium held at Sydney, Australia, 10-11 September 1979
Published: (1980)

1988 International Conference on Computer Languages proceedings, October 9-13, 1988, Castle Hotel and Resort, Miami Beach, Florida
Published: (1988)

Programming teaching techniques proceedings.
Published: (1973)

Operating systems proceedings of an international symposium held at Rocquencourt, April 23-25, 1974.
Published: (1974)

Formal development of programs and proofs
Published: (1990)

International Computing Symposium proceedings of the..., Antibes, France, 2-4 June, 1975
Published: (1975)

Language hierarchies and interfaces international summer school
Published: (1976)