Normal view MARC view ISBD view

Algebraic specification techniques and tools for software development: The ACT approach

Material type: materialTypeLabel

BookSeries: AMAST series in computing; v. 1.Publisher: Singapore World Scientific 1993Description: xvi, 237p.ISBN: 981-02-1227-5.

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Item type	Current location	Call number	Status	Date due	Barcode
		005.1201512 CLA (Browse shelf)	Available		502997

Previous								Next
Previous	005.12 ROY Software project management: A unified framework	005.12 SAL Software by design: Shaping technology and the workplace	005.12 SCH (CR) Pattern-oriented software architecture: Patterns for concurrent and networked objects. vol. 2	005.1201512 CLA Algebraic specification techniques and tools for software development: The ACT approach	005.13 ASP The Optimal implementation of functional programming languages	005.13 FRI Essentials of programming languages	005.13 FRI Essentials of programming languages	Next

There are no comments for this item.

IIITB Library