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
1 - 2 weeks availability
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.
Number Of Pages:
- ID: 9789810228040
- 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
© Copyright 2013 - 2017 WHSmith and its suppliers.
WHSmith High Street Limited Greenbridge Road, Swindon, Wiltshire, United Kingdom, SN3 3LD, VAT GB238 5548 36