Formalisieren Und Beweisen: Logik Für Informatiker
| AUTHOR | Siefkes, Dirk |
| PUBLISHER | Vieweg+teubner Verlag (01/01/1990) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
Show More
Product Format
Product Details
ISBN-13:
9783528047573
ISBN-10:
3528047577
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
German
More Product Details
Page Count:
262
Carton Quantity:
15
Product Dimensions:
6.69 x 0.59 x 9.61 inches
Weight:
0.99 pound(s)
Feature Codes:
Bibliography,
Index,
Illustrated
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Computer Science
Computers | Programming - General
Computers | Logic
Dewey Decimal:
005.131
List Price $59.99
Your Price
$59.39