Software specification methods / edited by Henri Habrias and Marc Frappier

By:

edited by Habrias, Henri

Contributor(s):

Frappier, Marc

Material type: Text

TextLanguage: ENG Publication details: United Kingdom ISTE 2006Description: 418 pISBN:

9781905209347

Subject(s):

Computer software --Specifications
Formal methods (Computer science) ﾠ

DDC classification:

004.0151 HAB-H

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Books	BITS Pilani Hyderabad	003-007	General Stack (For lending)	004.0151 HAB-H (Browse shelf(Opens below))	Available		3444

Total holds: 0

This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)