The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

The Use of Formal Specification of Software: June 25-27, 1979, Berlin

The Use of Formal Specification of Software: June 25-27, 1979, Berlin

Barnes and Noble
Advanced Information Systems Engineering: Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Proceedings

Advanced Information Systems Engineering: Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Proceedings

Barnes and Noble
Mathematical Foundations of Computer Science 1988: 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings / Edition 1

Mathematical Foundations of Computer Science 1988: 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings / Edition 1

Barnes and Noble
Mathematical Foundations of Computer Science 1976: 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings

Mathematical Foundations of Computer Science 1976: 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings

Barnes and Noble
Fast Software Encryption: Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings

Fast Software Encryption: Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings

Barnes and Noble
Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19-22, 1994 Proceedings

Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19-22, 1994 Proceedings

Barnes and Noble
Advanced Information Processing: Proceedings of a Joint Symposium. Information Processing and Software Systems Design Automation. Academy of Sciences of the USSR, Siemens AG, FRG Moscow, June 5/6, 1990

Advanced Information Processing: Proceedings of a Joint Symposium. Information Processing and Software Systems Design Automation. Academy of Sciences of the USSR, Siemens AG, FRG Moscow, June 5/6, 1990

Barnes and Noble
Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers / Edition 1

Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers / Edition 1

Barnes and Noble
TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings / Edition 1

TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings / Edition 1

Barnes and Noble
Algebraic Geometry: Summer Meeting, Copenhagen, August 7-12, 1978 / Edition 1

Algebraic Geometry: Summer Meeting, Copenhagen, August 7-12, 1978 / Edition 1

Barnes and Noble
Software Development Environments and Case Technology: European Symposium, K�nigswinter, June 17-19, 1991. Proceedings

Software Development Environments and Case Technology: European Symposium, K�nigswinter, June 17-19, 1991. Proceedings

Barnes and Noble
Computing Methods in Applied Sciences and Engineering: Second International Symposium December 15-19, 1975

Computing Methods in Applied Sciences and Engineering: Second International Symposium December 15-19, 1975

Barnes and Noble
ECSCW '99: Proceedings of the Sixth European Conference on Computer Supported Cooperative Work 12-16 September 1999, Copenhagen

ECSCW '99: Proceedings of the Sixth European Conference on Computer Supported Cooperative Work 12-16 September 1999, Copenhagen

Barnes and Noble
ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976

ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976

Barnes and Noble
Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic / Edition 1

Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic / Edition 1

Barnes and Noble
Software Engineering - ESEC '93: 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings

Software Engineering - ESEC '93: 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings

Barnes and Noble
Powered by Adeptmind