The deductive foundations of computer programming : a one-volume version of The logical basis for computer programming / Zohar Manna, Richard Waldinger.

By: Contributor(s): Material type: TextTextPublication details: Reading, Massachusetts : Addison-Wesley Publishing Company, c1993Edition: 1a edDescription: xiv, 717 p. : il. ; 24 cmISBN:
  • 0201548860
Subject(s): LOC classification:
  • QA76.6 M36 1993
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Barcode
Libro Libro Biblioteca de la Facultad de Ingeniería Eléctrica General QA76.6 M36 1993 (Browse shelf(Opens below)) C:1 Available BIE000000911

Bibliografía : p. 673-680

Incluye índice

There are no comments on this title.

to post a comment.