Text

The Deductive Foundations of Computer Programming

Description Not Available

Availability

Detail Information

Series Title

-

Call Number

519.7 Wal t

Publisher

United States of America : Addison Wesley., 2001

Collation

717 p.

Language

Indonesia

ISBN/ISSN

9780201548860

Classification

519.7

Content Type

-

Media Type

-

Carrier Type

-

Edition

-

Subject(s)

PROGRAMMING (MATHEMATICS)

Specific Detail Info

-

Statement of Responsibility

-

Other version/related

File Attachment