Results for Helmut Schwichtenberg

ISBN.nu

search for books and compare prices

Helmut Schwichtenberg has written 8 work(s)

Search for other authors with the same name

displaying 1 to 8 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Logic and Algebra of Specification

By Friedrich L. Bauer (editor), Wilfried Brauer (editor) and Helmut Schwichtenberg (editor)

See complete details on each edition (3 editions listed)

Hardcover:

9783540558132 | Springer-Verlag New York Inc, July 5, 1993, cover price $359.00

9780387558134 | Springer Verlag, June 1, 1993, cover price $159.00

Paperback:

9783642634482 | Reprint edition (Springer-Verlag New York Inc, April 14, 2014), cover price $219.00

Computational Logic

By Helmut Schwichtenberg (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642636707 | Reprint edition (Springer-Verlag New York Inc, October 29, 2012), cover price $199.00

Logic of Computation

Product Description: The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development...read more

By Helmut Schwichtenberg (editor)

See complete details on each edition (2 editions listed)

Hardcover:

9783540629634 | Springer Verlag, October 1, 1997, cover price $160.00

Paperback:

9783642638329 | Springer-Verlag New York Inc, October 13, 2012, cover price $99.00 | About this edition: The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf.

Proof and Computation

Product Description: Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure...read more

By Helmut Schwichtenberg (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642793639 | Reprint edition (Springer-Verlag New York Inc, December 13, 2011), cover price $149.00 | About this edition: Logical concepts and methods are of growing importance in many areas of computer science.

Proof and System-Reliability

(view table of contents)

By NATO Advanced Study Institute on Proof and System-Reliability (other contributor), Helmut Schwichtenberg (editor) and Ralf Steinbruggen

See complete details on each edition (1 edition listed)

Hardcover:

9781402006074 | Kluwer Academic Pub, June 1, 2002, cover price $209.00

Proof and System-Reliability

(view table of contents)

By Helmut Schwichtenberg (editor) and Ralf Steinbruggen (editor)

See complete details on each edition (1 edition listed)

Paperback:

9781402006081 | Kluwer Academic Pub, June 1, 2002, cover price $109.00

Computer Science Logic: 14th International Workshop, Csl 2000, Annual Conference of the Eacsl, Fischbachau, Germany, August 21-26, 2000 Proceedings

(view table of contents)

By Helmut Schwichtenberg (editor) and Workshop on Computer Science Logic 2000 (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9783540678953 | Springer Verlag, September 1, 2000, cover price $149.00

Proof and Computation: Proceedings of the NATO Advanced Study Institute on Proof and Computation, Held in Marktoberdorf, Germany, July 20-august 1, 1993

By Helmut Schwichtenberg (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9783540585817 | Gardners Books, June 1, 1995, cover price $111.15 | About this edition: Logical concepts and methods are of growing importance in many areas of computer science.

displaying 1 to 8 | at end