Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts /
| Corporate Authors: | IFIP Working Conference on Formal Description of Programming Concepts St. Andrews, N.B., IFIP Technical Committee 2--Programming |
|---|---|
| Other Authors: | Neuhold, Erich J. |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Amsterdam ; New York :
North-Holland Pub. Co.,
1978.
|
| Subjects: |
Similar Items
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)
Published: (1983)
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)
Published: (1987)
Formal language description languages for computer programming : proceedings /
Published: (1966)
Published: (1966)
Formal semantics of programming languages /
Published: (1972)
Published: (1972)
Data base description : proceedings of the IFIP TC-2 Special Working Conference on Data Base Description /
Published: (1975)
Published: (1975)
Formal definition of programming languages. : With an application to the definition of algol 60 /
by: Bakker, Jacobus Willem de
Published: (1970)
by: Bakker, Jacobus Willem de
Published: (1970)
Formal description of programming concepts /
Published: (1991)
Published: (1991)
The formal semantics of programming languages : an introduction /
by: Winskel, G. (Glynn)
Published: (1993)
by: Winskel, G. (Glynn)
Published: (1993)
Command languages : proceedings of the IFIP Working Conference on Command Languages /
Published: (1975)
Published: (1975)
Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988 /
Published: (1989)
Published: (1989)
Constructing quality software : proceedings of the IFIP Working Conference on Constructing Quality Software /
Published: (1978)
Published: (1978)
Formal description techniques, II : proceedings of the IFIP TC/WG 6.1 [as printed] Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989 /
Published: (1990)
Published: (1990)
Formal specification and software development /
by: Bjørner, D. (Dines), 1937-
Published: (1982)
by: Bjørner, D. (Dines), 1937-
Published: (1982)
Programming language concepts and paradigms /
by: Watt, David A. (David Anthony)
Published: (1990)
by: Watt, David A. (David Anthony)
Published: (1990)
The formal semantics of programming languages : an introduction /
by: Winskel, G. (Glynn)
Published: (1993)
by: Winskel, G. (Glynn)
Published: (1993)
Proceedings of the National Conference on Software Engineering.
Simulation programming languages. : Proceedings of the IFIP Working Conference on Simulation Programming Languages /
Published: (1968)
Published: (1968)
Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Published: (2001)
Published: (2001)
Programming languages and systems : 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /
Published: (2003)
Published: (2003)
Programming languages and systems : 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /
Published: (1999)
Published: (1999)
Programming languages and systems : 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings /
Published: (2005)
Published: (2005)
Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 ; proceedings /
Published: (2006)
Published: (2006)
Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
Published: (2002)
Published: (2002)
Programming languages and systems : 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings /
Published: (1998)
Published: (1998)
Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
Published: (2004)
Published: (2004)
1988 International Conference on Computer Languages : proceedings, October 9-13, 1988, Castle Hotel and Resort, Miami Beach, Florida /
Published: (1988)
Published: (1988)
Concepts in programming languages /
by: Mitchell, John C.
Published: (2003)
by: Mitchell, John C.
Published: (2003)
Concepts of programming languages /
by: Sebesta, Robert W.
Published: (2002)
by: Sebesta, Robert W.
Published: (2002)
Programming language concepts /
by: Ghezzi, Carlo
Published: (1998)
by: Ghezzi, Carlo
Published: (1998)
Concepts of programming languages /
by: Sebesta, Robert W.
Published: (2006)
by: Sebesta, Robert W.
Published: (2006)
Concepts of programming languages /
by: Sebesta, Robert W.
Published: (1999)
by: Sebesta, Robert W.
Published: (1999)
Programming language concepts /
by: Ghezzi, Carlo
Published: (1987)
by: Ghezzi, Carlo
Published: (1987)
Concepts of programming languages.
by: Elson, Mark
Published: (1973)
by: Elson, Mark
Published: (1973)
Concepts of programming languages /
by: Sebesta, Robert W.
Published: (2008)
by: Sebesta, Robert W.
Published: (2008)
Concepts of programming languages /
by: Sebesta, Robert W.
Published: (2004)
by: Sebesta, Robert W.
Published: (2004)
Programming language concepts /
by: Ghezzi, Carlo
Published: (1982)
by: Ghezzi, Carlo
Published: (1982)
Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [as printed] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
Published: (2007)
Published: (2007)
Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published: (1996)
Published: (1996)
Programming languages : implementations, logics, and programs : 9th international symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997 : proceedings /
Published: (1997)
Published: (1997)
Proceedings of CODASYL Programming Language Committee symposium on structured programming in COBOL - future and present, Los Angeles, California, April 7, 1975 /
Published: (1975)
Published: (1975)