0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

Formalisieren Und Beweisen - Logik Fur Informatiker (German, Paperback, 2nd 2. Aufl. 1992 ed.) Loot Price: R2,065
Discovery Miles 20 650
Formalisieren Und Beweisen - Logik Fur Informatiker (German, Paperback, 2nd 2. Aufl. 1992 ed.): Dirk Siefkes

Formalisieren Und Beweisen - Logik Fur Informatiker (German, Paperback, 2nd 2. Aufl. 1992 ed.)

Dirk Siefkes

Series: Lehrbuch Informatik

 (sign in to rate)
Loot Price R2,065 Discovery Miles 20 650 | Repayment Terms: R194 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

General

Imprint: Vieweg+teubner Verlag
Country of origin: Germany
Series: Lehrbuch Informatik
Release date: 1992
First published: 1992
Authors: Dirk Siefkes
Dimensions: 244 x 170 x 15mm (L x W x T)
Format: Paperback - Trade
Pages: 259
Edition: 2nd 2. Aufl. 1992 ed.
ISBN-13: 978-3-528-14757-0
Languages: German
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > General
Books > Computing & IT > Applications of computing > General
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
LSN: 3-528-14757-1
Barcode: 9783528147570

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners