Rongo Univesity Library catalog › Details for: Formal software development

Normal view MARC view ISBD view

Formal software development

by Charatan, Quentin.

Additional authors: Kans, Aaron. | ebrary, Inc.

Published by : Palgrave Macmillan, (Basingstoke :) Physical details: xi, 239 p. : ill.

Subject(s): Computer software -- Development. | Formal methods (Computer science) | Electronic books.

Year: 2004

Online resources:

http://site.ebrary.com/lib/rucke/Doc?id=10103773
- An electronic book accessible through the World Wide Web; click to view

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

Average rating: 0.0 (0 votes)

No physical items for this record

Includes index.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

There are no comments on this title.

to post a comment.