Formal specification and design /

Bibliographic Details
Main Author: Feijs, L. M. G. (Loe M. G.)
Other Authors: Jonkers, H. B. M.
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University Press, 1992.
Series:Cambridge tracts in theoretical computer science ; 35.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000 a 4500
001 in00001114656
005 20150930070403.0
008 921230s1992 enka 001 0 eng
010 |a  92253191  
020 |a 0521434572 
035 |a (OCoLC)27680819 
035 |9 AFV7173AM 
040 |a DLC  |c DLC  |d TXA  |d UtOrBLW 
049 |a TXAM 
050 0 0 |a QA76.76.D47  |b F44 1992 
082 0 0 |a 005.1/2  |2 20 
100 1 |a Feijs, L. M. G.  |q (Loe M. G.) 
245 1 0 |a Formal specification and design /  |c L.M.G. Feijs & H.B.M. Jonkers. 
264 1 |a Cambridge ;  |a New York :  |b Cambridge University Press,  |c 1992. 
300 |a xvi, 335 pages :  |b illustrations ;  |c 26 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Cambridge tracts in theoretical computer science ;  |v 35 
504 |a Includes bibliographical reference (pages 303-307) and index. 
650 0 |a Computer software  |x Development. 
650 0 |a Object-oriented programming (Computer science) 
700 1 |a Jonkers, H. B. M. 
830 0 |a Cambridge tracts in theoretical computer science ;  |v 35. 
999 |a MARS 
999 f f |s 49c6774c-17fa-39bc-8fdf-55ed42fa7fe3  |i 4ada675f-d0a2-3182-9a76-97c9b4c2325e  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |s JLF  |d Remote Storage  |t 0  |e QA76.76.D47 F44 1992  |h Library of Congress classification  |i unmediated -- volume  |m A14817058980 
998 f f |a QA76.76.D47 F44 1992  |t 0  |l Remote Storage