My Wish Lists Login / Join

Results for author 'Helmut Schwichtenberg'

Refine Your Results

subjects

Computing & I.T.

6

Engineering & Technology

1

Mathematics

7

Medicine

2

Philosophy

2

Science

7

lists

All Books

7

availability

All Books

7

price

Over $100

7

formats

Paperbacks

4

Hardcovers

3

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Proof and System-Reliability : NATO Science Series II - Helmut Schwichtenberg

Proof and System-Reliability

NATO Science Series II

Helmut Schwichtenberg and Ralf Steinbrüggen

Hardcover

$177.15

Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings - Peter G. Clote

Computer Science Logic

14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Peter G. Clote and Helmut Schwichtenberg

Paperback

$187.31

Proof and System-Reliability : NATO Science Series II: Mathematics, Physics and Chemistry - Helmut Schwichtenberg

Proof and System-Reliability

NATO Science Series II: Mathematics, Physics and Chemistry

Helmut Schwichtenberg and Ralf Steinbrüggen

Paperback

$101.07

Logic and Algebra of Specification : NATO Asi Series / Computer and Systems Sciences - Friedrich L. Bauer

Logic and Algebra of Specification

NATO Asi Series / Computer and Systems Sciences

Friedrich L. Bauer, Wilfried Brauer and Helmut Schwichtenberg

Hardcover

$264.27

Logic of Computation : NATO ASI Subseries F: - Helmut Schwichtenberg

Logic of Computation

NATO ASI Subseries F:

Helmut Schwichtenberg

Paperback

$101.07

Logic and Algebra of Specification : NATO ASI Subseries F: - Friedrich L. Bauer

Logic and Algebra of Specification

NATO ASI Subseries F:

Friedrich L. Bauer, Wilfried Brauer and Helmut Schwichtenberg

Paperback

$264.27

Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification - Klaus Mainzer

Proof and Computation II

From Proof Theory and Univalent Mathematics to Program Extraction and Verification

Klaus Mainzer, Helmut Schwichtenberg and Peter Michael Schuster

Hardcover

$259.17

7 Results