Software engineering with abstractions/

Main Author:	Berzins, Valdis
Format:	Book
Published:	Reading, MA. : Addison-Wesley, c1991
Subjects:	Computer software > - Development Ada (Computer program language)

Similar Items

Software reuse with ADA/
Published: (1990)

Software components with Ada : structures, tools, and subsystems /
by: Booch, Grady
Published: (1987)

Ada and beyond software policies for the Department of Defense /
Published: (1997)

Reliable software technologies--Ada-Europe ʹ97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings/
Published: (1997)

Programming in Ada 95 /
by: Barnes, J. G. P.
Published: (1998)

Ingenierie du logiciel avec ADA : de la conception a la realisation /
by: Booch, Grady
Published: (1988)

Programming in ADA plus Language reference manual/
by: Barnes, John Gilbert Presslie
Published: (1991)

Ada programmerʹs handbook/
by: Gonzalez, Dean W.
Published: (1991)

Ada in practice/
Published: (1985)

Ada 95 from the beginning /
by: Skansholm, Jan

Ada letters : a bimonthly publication of AdaTEC.
Published: (1981)

Ada 95 : problem solving and program design /
by: Feldman, Michael B
Published: (1996)

Programming in Ada : plus an overview of Ada 9X /
by: Barnes, J. G. P.
Published: (1994)

ADA: : language and methodology/
by: Watt, David A.
Published: (1987)

Le langage ADA/
by: David, Daniel-Jean
Published: (1983)

Invitation to Ada /
by: Katzan, Harry
Published: (1984)

The Ada programming language: : a guide for programmers/
by: Pyle, I. C.
Published: (1985)

Programming in Ada 95/
by: Barnes, John
Published: (1996)

Ada from the beginning/
by: Skansholm, Jan, 1949-
Published: (1988)

Tri-Ada ʹ97 Conference : proceedings
Published: (1997)

ADA as a second language /
by: Cohen, Norman H.
Published: (1996)

Ada 95 quality and style /
Published: (1997)

ACM Ada letters : A3
Published: (1993)

Ada and beyond : software policies for the Department of Defense /
Published: (1997)

Software abstractions : logic, language, and analysis /
by: Jackson, Daniel
Published: (2006)

Software abstractions : logic, language, and analysis /
by: Jackson, Daniel, 1963-
Published: (2012)

Software abstractions logic, language, and analysis /
by: Jackson, Daniel, 1963-
Published: (2012)

Problem solving with ADA/
by: Mayoh, B. H.
Published: (1982)

Software development with Z: a practical approach to formal methods in software engineering/
by: Wordsworth, J. B.
Published: (1992)

Principles of software engineering management/
by: Gild, Tom
Published: (1988)

Software engineering : principles and practice /
by: Vliet, J. C. van.
Published: (1993)

Software engineering: principles and practice/
by: Vliet, Hans van
Published: (1993)

A first course in computer science with Ada /
by: De Lillo, Nicholas J.
Published: (1993)

Software design for engineers and scientists /
by: Robinson, John A.
Published: (2004)

C software solutions: foundations of program design/
by: Lewis, John, 1963-
Published: (2007)

Large-scale C++ software design /
by: Lakos, John, 1959-
Published: (1996)

Software engineering/
by: Ince, D. C.
Published: (1989)

Software engineering : grundlagen und technik rationeller programmentwicklung /
by: Gewald, Klaus
Published: (1981)

Software engineering: : planning for change/
by: Lamb, David Alex
Published: (1988)

Programming embedded systems with ADA/
by: Downes, Valerie, 1944-
Published: (1982)

Cannot write session to /tmp/vufind_sessions/sess_cf3r92gdqn6q5ba3k61kkvnpc7