Applications of formal methods /

Bibliographic Details
Other Authors: Hinchey, Michael Gerard, 1969- (ed.,), Bowen, Jonathan Peter, 1956- (ed.,)
Format: Book
Language:English
Published: London : Prentice-Hall, 1995.
Series:Prentice-Hall international series in computer science
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20190405184331.0
008 111025s1995 enk||||| |||| 00| 0 eng d
020 |a 0133669491 
040 |a AR_CdUFM  |c AR_CdUFM 
245 0 0 |a Applications of formal methods /   |c ed. Michael Gerard Hinchey, Jonathan Peter Bowen. 
260 |a London :   |b Prentice-Hall,   |c 1995. 
300 |a xvii, 447 p. :  |b il. ;  |c 25 cm. 
490 0 |a Prentice-Hall international series in computer science 
500 |a La biblioteca posee 2 ej. 
650 4 |a Ingeniería de software. 
650 4 |a Software engineering. 
700 1 |9 7592  |a Hinchey, Michael Gerard,   |e ed.,  |d 1969- 
700 1 |a Bowen, Jonathan Peter,  |d 1956-  |e ed.,  |9 1994 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-10-25 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_D2_A652  |7 0  |9 7463  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C D2 A652   |p 14203  |r 2023-01-24  |w 2008-06-09  |y LIBRO 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_D2_A652_EJ2  |7 0  |9 7464  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e Fomec/Comp.  |l 0  |o C D2 A652 ej.2  |p 14204  |r 2023-01-24  |w 2008-06-09  |y LIBRO 
999 |c 5647  |d 5647