The Vienna development method : the Meta-language /

Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /
Published: (2002)

Mastering C pointers :tools for programming power /
by: Traister, Robert J.
Published: (1990)

QBasic by example /
by: Perry, Greg M.
Published: (1993)

Complementary definitions of programming language semantics /
by: Donahue, James E. (James Edward), 1947-
Published: (1976)

Formal syntax and semantics of Java /
Published: (1999)

Java network programming /
by: Harold, Elliotte Rusty
Published: (1997)

An analytical description of CHILL, the CCITT high level language /
by: Branquart, Paul, 1937-
Published: (1982)

A Concurrent PASCAL compiler for minicomputers /
by: Hartmann, Alfred C., 1948-
Published: (1977)

Internet programming languages : ICCL'98 Workshop, held in Chicago, IL, USA, May 13, 1998 : proceedings /
Published: (1999)

History of programming languages /
Published: (1981)

Symposium on semantics of algorithmic languages /
Published: (1971)

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)

Formal object-oriented development /
by: Lano, K.
Published: (1995)

CASL reference manual : the complete documentation of the Common Algebraic Specification Language /
Published: (2004)

Java for practitioners : an introduction and reference to Java and object orientation /
by: Hunt, John, 1964-
Published: (1999)

Principles of declarative programming : 10th International Symposium, PLILP'98 : held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings /
Published: (1998)

A theory and practice of program development /
by: Andrews, D. (Derek)
Published: (1997)

A review of Ada tasking /
by: Burns, Alan, 1953-
Published: (1987)

Algebraic semantics /
by: Guessarian, Irène, 1948-
Published: (1981)

PORTAL language description /
by: Businger, Arnold, 1953-
Published: (1988)

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES '98, Montréal, Canada, June 19-20, 1998 : proceedings /
Published: (1998)

Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings /
Published: (1994)

Concepts of object-oriented programming with Visual Basic /
by: Roman, Steven
Published: (1997)

Mathematical foundations of computer science 2000 : 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28-September 1, 2000 : proceedings /
Published: (2000)

CASL user manual : introduction to using the Common algebraic specification language /
by: Bidoit, M. (Michel), 1957-
Published: (2004)

A Concurrent PASCAL compiler for minicomputers /
by: Hartmann, Alfred C., 1948-
Published: (1977)

A relational theory of computing /
by: Sanderson, John G., 1929-
Published: (1980)

International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980 /
Published: (1980)

Programming languages and their definition /
by: Bekič, H. (Hans), 1936-1982
Published: (1984)

STACS 99 : 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings /
Published: (1999)

Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings /
Published: (1984)

Visual languages and applications /
by: Zhang, Kang, 1959-
Published: (2007)

The Mathematica programmer /
by: Maeder, Roman
Published: (1994)

Python programming : an introduction to computer science /
by: Zelle, John M.
Published: (2004)

Logic of domains /
by: Zhang, Guo-Qiang, 1960-
Published: (1991)

Ada 95 reference manual : language and standard libraries /
Published: (1995)