The specification of computer programs /

Core J2EE™ Patterns: Best Practices and Design Strategies /
by: Alur, Deepak, et al.
Published: (2001)

OMNITAB: a computer program for statistical and numerical analysis /
by: Hilsenrath, Joseph
Published: (1966)

Optimal interprocedural program optimization : a new framework and its application /
by: Knoop, Jens
Published: (1998)

Object-oriented reengineering patterns /
by: Demeyer, Serge
Published: (2003)

Parallel program design : a foundation /
by: Chandy, K. Mani
Published: (1988)

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings /
Published: (1990)

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

PREMO : a framework for multimedia middleware : specification, rationale, and Java binding /
Published: (1999)

Introductory computer methods and numerical analysis /
by: Pennington, Ralph H.
Published: (1965)

DIANA : an intermediate language for ADA /
Published: (1983)

Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers /
Published: (2000)

ECOOP 2000, object-oriented programming : 14th European conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings /
Published: (2000)

A Comparative study of parallel programming languages : the Salishan problems /
Published: (1992)

Software metrics : a rigorous and practical approach /
by: Fenton, Norman E., 1956-
Published: (1997)

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

Software Rx : secrets of engineering quality software /
by: Wilson, Rodney C.
Published: (1997)

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

Automatic verification of sequential infinite-state processes /
by: Burkart, Olaf
Published: (1997)

Economics-driven software architecture /
by: Mistrík, Ivan
Published: (2014)

Software mistakes and tradeoffs : how to make good programming decisions /
by: Lelek, Tomasz, et al.
Published: (2022)

Software mistakes and tradeoffs /
by: Lelek, Tomasz, et al.
Published: (2022)

Advances in software science and technology.
Published: (1991)

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

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

Advances in software science and technology.
Published: (1993)

Adaptive agents and multi-agent systems : adaptation and multi-agent learning /
Published: (2003)

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
Published: (1997)

TAPSOFT '91 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991 /
Published: (1991)

Digital guide to developing international software /
by: Kennelly, Cynthia Hartman
Published: (1991)

Clean code : Refactoring, Patterns, Testen und Techniken für sauberen Code /
by: Martin, Robert C.
Published: (2009)

Advances in genetic programming.
Published: (1999)

Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings /
Published: (2004)

Clean architecture : das Praxis-Handbuch für professionelles Softwaredesign : Regeln und Paradigmen für effiziente Softwarestrukturen /
by: Martin, Robert C.
Published: (2018)

Advances in software science and technology.
Published: (1990)

Advances in software science and technology.
Published: (1994)

Advances in software science and technology.
Published: (1992)