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: R1,860
Discovery Miles 18 600
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 R1,860 Discovery Miles 18 600 | Repayment Terms: R174 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
Promotions
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!

You might also like..

The System Designer's Guide to VHDL-AMS…
Peter J Ashenden, Gregory D. Peterson, … Paperback R2,281 Discovery Miles 22 810
Quantum Computing, Second Edition - A…
Hafiz Md. Hasan Babu Hardcover R3,271 Discovery Miles 32 710
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R1,027 R881 Discovery Miles 8 810
Thinking Machines - Machine Learning and…
Shigeyuki Takano Paperback R2,011 Discovery Miles 20 110
Advances in Delay-Tolerant Networks…
Joel J. P. C. Rodrigues Paperback R4,669 Discovery Miles 46 690
CSS For Beginners - The Best CSS Guide…
Ethan Hall Hardcover R895 R773 Discovery Miles 7 730
Grammatical and Syntactical Approaches…
Juhyun Lee, Michael J. Ostwald Hardcover R5,315 Discovery Miles 53 150
Kreislauf des Lebens
Jacob Moleschott Hardcover R1,199 Discovery Miles 11 990
Advances in Intelligent Systems…
Sergey Yurish Hardcover R2,453 Discovery Miles 24 530
Applying Integration Techniques and…
Gabor Kecskemeti Hardcover R6,050 Discovery Miles 60 500
Advancements in Instrumentation and…
Srijan Bhattacharya Hardcover R6,138 Discovery Miles 61 380
Constraint Decision-Making Systems in…
Santosh Kumar Das, Nilanjan Dey Hardcover R6,687 Discovery Miles 66 870

See more

Partners