The Deductive Foundations of Computer Programming

Record Detail Back

XML

The Deductive Foundations of Computer Programming

Statement of Responsibility

Author(s)

Waldinger, Richard - Personal Name
Manna, Zohar - Personal Name

Grade (for Thesis)

Edition

Call Number

519.7 Wal t

ISBN/ISSN

9780201548860

Subject(s)

PROGRAMMING (MATHEMATICS)

Classification

519.7

Series Title

GMD

Text

Language

Indonesia

Publisher

Addison Wesley

Publishing Year

2001

Publishing Place

United States of America

Collation

717 p.

Specific Detail Info

File Attachment

LOADING LIST...

Availability

LOADING LIST...