Software specification methods
by
 
Habrias, Henri.

Title
: 
Software specification methods

Author
: 
Habrias, Henri.

ISBN
: 
9780470612514

Edition
: 
2nd ed.

Publication Information
: 
London ; Newport Beach, CA : ISTE Ltd., 2006.

Physical Description
: 
xxv, 418 p. : ill. ; 25 cm.

Subject Term
: 
Formal methods (Computer science)
 
Computer software -- Specifications.

Added Author
: 
Habrias, Henri.
 
Frappier, Marc, 1965-

Added Corporate Author
: 
Wiley InterScience (Online service)

Electronic Access
: 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html
 
John Wiley http://dx.doi.org/10.1002/9780470612514


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book302362-1001ONLINEElektronik Kütüphane