fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Design by contract, by example

Design by contract, by example

by Richard Mitchell, Jim McKim

Computer-aided designObject-oriented programming (Computer science)Computer interfacesComputer programming
0.0
Open Library
Open Library

Themes & subjects

Computer-aided designObject-oriented programming (Computer science)Computer interfacesComputer programming

About the author

Richard Mitchell

1947

Authors

Richard Mitchell, Jim McKim

Pages

256

Read time

≈ 6h

Editions

2

Language

English

Publisher

Addison-Wesley Professional

ISBN

9780201634600

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Control and Dynamic Systems

Control · Control theory

Control and Dynamic Systems

Cornelius T. Leondes

1985

Representing landscapes

Landscape architectural drawing · Visual communication in art

Representing landscapes

Nadia Amoroso

2012

Cooperative Design, Visualization, and Engineering

Pattern perception · Computers and Society

Cooperative Design, Visualization, and Engineering

Yuhua Luo

2004

Vectorworks for Entertainment Design

Engineering design · Stage lighting

Vectorworks for Entertainment Design

Kevin Lee Allen

2014

Applying AutoCAD

AutoCAD · Computer graphics

Applying AutoCAD

Terry T. Wohlers

1986

Eurotech direct '91

CAD/CAM systems · Computer integrated manufacturing systems

Eurotech direct '91

European Engineering Research and Technology Transfer Congress (1991 Birmingham, England)

1991

Implant Restorations

Dentistry · Dentures

Implant Restorations

Carl Drago

2008

Virtual Reality and the Built Environment

City planning · Architectural design

Virtual Reality and the Built Environment

Jennifer Whyte

2002

RF/microwave circuit design for wireless applications

Radio frequency integrated circuits · TECHNOLOGY & ENGINEERING / Telecommunications

RF/microwave circuit design for wireless applications

Ulrich L. Rohde

2000

Intelligent Buildings

Buildings · Intelligent buildings

Intelligent Buildings

Derek Clements-Croome

2004

User Design

Instructional systems · Design

User Design

Alison A. Carr-Chellman

2006

Emilio Ambasz

Buildings, structures · Sustainable architecture

Emilio Ambasz

Emilio Ambasz

1984

AutoCAD Platform Customization

Autocad (computer program) · Computer-aided design

AutoCAD Platform Customization

Lee Ambrosius

2014

C++

Java (Computer program language) · C++ (Computer program language)

C++

Paul J. Deitel

1996

Java software solutions

Java (Computer program language) · Object-oriented programming (Computer science)

Java software solutions

Lewis, John

1997

Learning Perl

Perl (Computer program language) · Perl (Computer utility)

Learning Perl

Randal L. Schwartz

1993

JavaScript

JavaScript (Computer program language) · Web servers

JavaScript

David Flanagan

1996

C how to program

C (Computer program language) · C[plus plus] (Computer program language)

C how to program

Harvey M. Deitel

1992