Data refinement : model-oriented proof methods and their comparison /

An introduction to data structures with applications /
by: Tremblay, Jean-Paul, 1938-
Published: (1984)

Data structures /
by: Elson, Mark
Published: (1975)

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /
by: Müller-Olm, Markus
Published: (1997)

Programming logics : an introduction to verification and semantics /
by: Gumb, Raymond D.
Published: (1989)

Data structures and software development in an object-oriented domain /
by: Tremblay, Jean-Paul, 1938-
Published: (2001)

Data structures and software development in an object-oriented domain /
by: Tremblay, Jean-Paul, 1938-
Published: (2003)

Data structures : theory and practice /
by: Berztiss, Alfs T.
Published: (1975)

Formal methods of program verification and specification /
Published: (1982)

A computer system for checking proofs /
by: Johnson, Scott D.
Published: (1982)

Software engineering : analysis and verification /
by: Lewis, T. G. (Theodore Gyle), 1941-
Published: (1982)

Object-oriented data structures using Java /
by: Dale, Nell (Nell B.)
Published: (2002)

Object-oriented data structures using Java /
by: Dale, Nell (Nell B.)
Published: (2006)

Object-oriented data structures using Java /
by: Dale, Nell (Nell B.)
Published: (2002)

The UVM primer : an introduction to the Universal Verification Methodology /
by: Salemi, Ray
Published: (2013)

Data structures and algorithms : an object-oriented approach using Ada 95 /
by: Beidler, John, 1941-
Published: (1997)

Genetic programming and data structures : genetic programming + data structures = automatic programming! /
by: Langdon, W. B. (William B.)
Published: (1998)

Algorithms + data structures=programs /
by: Wirth, Niklaus
Published: (1976)

Software engineering reviews and audits /
by: Summers, Boyd L.
Published: (2011)

Data structures and algorithms with object-oriented design patterns in Java /
by: Preiss, Bruno R.
Published: (2000)

Data-oriented programming.
Published: (2022)

Programming with data structures : Pascal version /
by: Kruse, Robert L. (Robert Leroy), 1941-
Published: (1989)

Data structures and program design /
by: Kruse, Robert L. (Robert Leroy), 1941-
Published: (1984)

Abstraction refinement for large scale model checking /
by: Wang, Chao
Published: (2006)

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
Published: (2006)

Genetic algorithms + data structures = evolution programs /
by: Michalewicz, Zbigniew
Published: (1994)

A structured programming approach to data /
by: Coleman, Derek
Published: (1978)

The foundations of program verification /
by: Loeckx, Jacques, 1931-
Published: (1984)

An introduction to formal program verification /
by: Mili, Ali
Published: (1985)

The foundations of program verification /
by: Loeckx, Jacques, 1931-
Published: (1987)

Software configuration management : an investment in product integrity /
by: Bersoff, Edward H.
Published: (1980)

Software verification and validation : realistic project approaches /
by: Deutsch, Michael S.
Published: (1982)

Advanced ANSI SQL data modeling and structure processing /
by: David, Michael M.
Published: (1999)

Advanced ANSI SQL data modeling and structure processing /
by: David, Michael M.
Published: (1999)

Fundamentals of program design and data structures with C++ /
by: Lambert, Kenneth (Kenneth A.)
Published: (1998)

Verifiable programming /
by: Dahl, Ole-Johan, 1931-
Published: (1992)

Data structures with abstract data types and Pascal /
by: Stubbs, Daniel F., 1938-
Published: (1985)