JSP for Practical Program Design /

Relational Database Technology /
by: Alagić, Suad
Published: (1986)

Verification of Reactive Systems : Formal Methods and Algorithms /
by: Schneider, Klaus
Published: (2004)

Semantic Integration of Heterogeneous Software Specifications /
by: Große-Rhode, Martin
Published: (2004)

TeX Reference Manual /
by: Bausum, David
Published: (2002)

Programming Concepts and Methods PROCOMET '98 : IFIP TC2 /
by: Gries, David
Published: (1998)

Computer-Aided Reasoning : ACL2 Case Studies /
by: Kaufmann, Matt
Published: (2000)

Information Systems Engineering : an Introduction /
by: Sølvberg, Arne
Published: (1993)

Computer-Aided Reasoning : An Approach /
by: Kaufmann, Matt
Published: (2000)

The Object-Z Specification Language /
by: Smith, Graeme
Published: (2000)

Program Transformation and Programming Environments /
by: Pepper, Peter
Published: (1984)

Programming in the 1990s : an Introduction to the Calculation of Programs /
by: Cohen, Edward
Published: (1990)

Notations for Software Design /
by: Feijs, L. M. G. (Loe M. G.)
Published: (1994)

The Science of Programming /
by: Gries, David
Published: (1981)

Programming with Sets : an Introduction to SETL /
by: Schwartz, J. T.
Published: (1986)

The IOTA Programming System : a Modular Programming Environment /
by: Nakajima, R.
Published: (1983)

Asynchronous Digital Circuit Design /
by: Birtwistle, G. M. (Graham M.)
Published: (1995)

Analysis and Design of Information Systems /
by: Langer, Arthur M.
Published: (2001)

Programming with MotifTM /
by: Gregory, Keith D.
Published: (1992)

Programming for Software Sharing /
by: Muxworthy, D. T.
Published: (1983)

The World of Programming Languages /
by: Marcotty, Michael
Published: (1987)

Object-Oriented Programming : with Prototypes /
by: Blaschek, Günther
Published: (1994)

Subrecursive Programming Systems : Complexity & Succinctness /
by: Royer, James S.
Published: (1994)

Object-Oriented Programming : in Oberon-2 /
by: Mössenböck, Hanspeter
Published: (1993)

High-Integrity System Specification and Design /
by: Bowen, Jonathan P.
Published: (1999)

Introduction to Programming with Modula-2 /
by: Blaschek, Günther
Published: (1990)

Algorithmic Language and Program Development /
by: Bauer, Friedrich L.
Published: (1982)

Formal Methods for Distributed System Development : FORTE /
by: Bolognesi, Tommaso
Published: (2000)

Functional Programming : Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland /
by: Davis, Kei
Published: (1990)

Program Development by Refinement : Case Studies Using the B Method /
by: Sekerinski, Emil
Published: (1999)

Functional Programming, Glasgow 1992 : Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 /
by: Launchbury, John
Published: (1993)

Functional Programming, Glasgow 1990 : Proceedings of the 1990 Glasgow Workshop on Functional Programming 13-15 August 1990, Ullapool, Scotland /
by: Jones, Simon L. Peyton
Published: (1991)

Functional Programming, Glasgow 1994 : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 /
by: Hammond, Kevin
Published: (1995)

Functional Programming, Glasgow 1991 : Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 /
by: Heldal, Rogardt
Published: (1992)

Object-Oriented Programming in Oberon-2 /
by: Mössenböck, Hanspeter
Published: (1995)

A Survey of Verification Techniques for Parallel Programs /
by: Barringer, Howard
Published: (1985)

Formal Specification Techniques for Engineering Modular C Programs /
by: Tan, Yang Meng
Published: (1996)