Logic and Software Engineering: Proceedings of the International Workshop, Honoring Professor C.S. Tang on the Occasion of His 70th Birthday, Beijing,

Logic and Software Engineering: Proceedings of the International Workshop, Honoring Professor C.S. Tang on the Occasion of His 70th Birthday, Beijing,

By: H. Lin (author), A. Pnueli (author)Hardback

2 - 4 weeks availability

Description

Create a review

Contents

Clocked transition systems, Z. Manna and A. Pneuli; towards an oject-oriented functional programming language, B. Krieg-Bruckner and Z.-Y. Qian; computing aspects of set theory, E. Engeler; a cooperative design for hybrid control systems, B.H. Widjaja et al; on implementing unique fixpoint induction for value-passing processes, H.-M. Lin; being whole, R. Yeh; conceptual sociological model of distributed software development environments, K. Kishida; an object oriented testing and maintenance environment, D. Kung et al; logic, software engineering and prototyping, Luqi and V. Berzins; debugging distributed real-time systems, K. Rekdal.

Product Details

  • publication date: 10/01/1996
  • ISBN13: 9789810228040
  • Format: Hardback
  • Number Of Pages: 320
  • ID: 9789810228040
  • ISBN10: 981022804X

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close