1.
 |  | Title: Proof and System-Reliability
by Helmut Schwichtenberg, Ralf Steinbruggen
ISBN: 140200608X
Publisher: Kluwer Academic Pub
Pub. Date: 01 June, 2002
List Price: $72.00
Amazon.com Price: $72.00 |
2.
|  | Title: Logic and Algebra of Specification (NATO Asi Series F : Computer and Systems Sciences, Vol 94)
by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
ISBN: 0387558136
Publisher: Springer-Verlag
Pub. Date: 01 June, 1993
List Price: $155.00
Amazon.com Price: $155.00 |
3.
|  | Title: Computer Science Logic: 14th International Workshop, Csl 2000, Annual Conference of the Eacsl, Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science, 1862)
by Germany) Workshop on Computer Science Logic 2000 Fischbachau, Helmut Schwichtenberg
ISBN: 3540678956
Publisher: Springer-Verlag Telos
Pub. Date: 15 January, 2000
List Price: $99.00
Amazon.com Price: $99.00 |
4.
|  | Title: Logic of Computation (NATO Asi Series. Series F, Computer and Systems Sciences, Vol 157)
by Helmut Schwichtenberg, NATO Advanced Study Institute on Logic of Computation
ISBN: 3540629637
Publisher: Springer-Verlag
Pub. Date: 01 October, 1997
List Price: $139.00
Amazon.com Price: $139.00 |
