Image from Google Jackets

Normal view MARC view ISBD view

FORMAL DEVELOPMENT OF PROGRAMS AND PROOFS

By:

DIJKSTRA,EDSGER W

Series: UNIVERSITY OF TEXAS YEAR OF PROGRAMMING SERIESPublication details: AW 1990 MASSACHUSETTSDescription: 242ISBN:

KBCS

DDC classification:

485

Average rating: 0.0 (0 votes)

No physical items for this record

BR-849

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Facebook Youtube Instagram Linkedin

Find us on the map

Contact Us

Library
Avior Technologies Private Limited
Canal Street, Sreebhumi, Lake Town, South Dumdum, West Bengal

Ph: 8583963369

KOLKATA WEATHER

Powered by Koha