Formal description techniques: : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988/
Corporate Authors: | International Conference on Formal Description Techniques : Stirling, Scotland), University of Stirling |
---|---|
Other Authors: | Turner, Kenneth J. |
Format: | Book |
Published: |
Amsterdam [Netherlands] : ; New York, N.Y., :
North-Holland Elsevier Science Pub.,
1989
|
Subjects: |
Similar Items
-
Formal description techniques, V= Formal description techniques, 5= Formal description techniques, five : 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, VI= FORTE '93 : proceedings of the IFIPTC6/WG6.1 sixth International Conference on Formal DescriptionTechniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993/
Published: (1994) -
Using formal description techniques: an introduction to Estelle,LOTOS, and SDL/
Published: (1993) -
Formal language description languages for computer programming : proceedings of the IFIP Working Conference on Formal Description Languages /
Published: (1966) -
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: (1978)