MARC details
| 000 -LEADER |
|---|
| campo de control de longitud fija |
04742nam a2200301 a 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL |
|---|
| campo de control |
AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20240131170903.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
ta |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
230201s1994 gw a dr 100 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
3540585559 |
| 024 8# - IDENTIFICADOR DE OTROS ESTÁNDARES |
|---|
| Número estándar o código |
DIF005701 |
| 040 ## - FUENTE DE CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
AR-LpUFIB |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
AR-LpUFIB |
| 111 2# - ENTRADA PRINCIPAL--NOMBRE DE CONGRESO/REUNIÓN |
|---|
| Nombre de congreso/reunión o jurisdicción como elemento de entrada |
|
| Número del congreso/reunión o número de parte o sección |
(2nd : |
| Fecha del congreso o de la firma del tratado |
1994 oct. 24-28 ) |
| 9 (RLIN) |
256588 |
| 245 00 - MENCIÓN DEL TÍTULO |
|---|
| Título |
FME ’94, industrial benefit of formal methods : |
| Resto del título |
Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings |
| 250 ## - MENCION DE EDICION |
|---|
| Mención de edición |
1st ed. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
Berlín : |
| Nombre del editor, distribuidor, etc. |
Springer-Verlag, |
| Fecha de publicación, distribución, etc. |
c1994 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
xi, 723 p. : |
| Otras características físicas |
il. ; |
| Dimensiones |
24 cm. |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Lecture notes in computer science |
| Designación de volumen o secuencia |
87 |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Incluye referencias bibliográfica |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
From Action Systems to Modular Systems/ -- R.J.R. Back & K. Sere -- Formal Methods in the Railways Signalling Industry/ -- Babak Dehbonei & Fernando Mejia -- Formal and Informal Specifications of a Secure System Component: First Results in a Comparative Study/ -- J.S. Fitzgerald, T.M. Brookes, M.A. Green & P~Larsen -- Formalising British Rail's Signalling Rules/ -- Trevor King -- Three Applications of Formal Methods at M I T R E / -- Joshua D. Guttman & Dale M. Johnson -- Specification and Analysis of a Security Management System/ -- ()mar Cherkaoui, Nathalie Rico & Alan Bernardi -- Verification Techniques for L O T O S / -- U. Martin & M. Thomas -- Experiences in Using the Abstract Machine Notation in a GKS Case Study/ -- Brian Ritchie, Juan Bicarregui & Howard Ilaughton -- Seven More Mylhs of Formal Methods: Dispelling Industrial Prejudices/ -- Jonathan P. Bowen & Michael G. Hinchey -- Comparing Approaches to Data Reification/ -- T. Clement -- Towards a Formalization of Programming-by-Difference/ -- I. Maung, J.R. Howse & R.J. Mitchell -- A New Concept of Refinement used for Behaviour Modelling with Automata / -- Barbara Paech & Bernhard Rumpe -- An Extended VDM Refinement Relation / -- Morten Elvang-Gcransson &: Robert E. Fields -- On Transferring V D M Verificalion Techniques to Z/ -- Peter A. Lindsay -- Proof-Based Development of Specifications with K I D S / V D M. / -- Yves Ledru -- Evaluation of Underdetermined Explicit Definitions/ -- Peter Gorm Larsen -- A Precise Examination of the Behaviour of Process Models / -- Kelvin J. Ross & Peter A. Lindsay -- A Theory of Presentations / -- D.J. Duke & M.D. Harrison -- Applying a Concurrent Formal Framework to Process Modelling/ -- J.A. Keane, J. Sa & B.C. Warboys -- From MooZ to Eiffel - A Rigorous Approach to System Development/ -- Virginia A.O. Cordeiro, Augusto Sampaio ~ Silvio L. Meira -- OP~ f,5: a Formal Approach to Object-Orientation/ -- Tom Mens, Kim Mens & Patrick Steyaert/ -- A Strategy for the Production of Verifiable Code Using the B Method / -- Andrew C. Storey ~ Howard P. Haughton -- Specifying and Verifying Concurrent Systems Using Z / -- Andy S. Evans -- A Critical Look at Functional Specifications/ -- Rodger Collinson -- Informal Strategies in Design by Refinement/ -- Maurice Naftalin -- An Experimental Support System for Formal Mathematical Reasoning/ -- Matthias Anlauff, Stan Js : Martin Simons -- Literate Mathematical Development of a Revision Management System/ -- Matthias Weber -- An Action Semantics for ML Concurrency Primitives/ -- Peter D. Mosses & Martin Musicante -- A Semantics for NewSpeak in VDM-SL / -- Paul Mukherjee -- Evaluation Semantics in Z / -- C. O'Halloran -- Abstract Model Checking of Infinite Specifications / -- Daniel Jackson -- Case Study: ,Especification and Refinement of the PI-Bus/ -- Karen Seidel -- Stepwise Refinement of Control Software - A Case Study Using R A I S E/ -- Francois Erasmy & Emil Sekerinski -- ,Specifying Safety and Progress Properties with RSL/ -- Jesper Gcrtz -- Validation of a Railway Interlocking Model/ -- Kirsten Mark Hansen -- A Formal ,Tpecificalion of an Automatic Train Protection System/ -- Andrew Simpson -- Adding Real Time to Formal Program Development / -- Colin Fidge -- Combining the Design of Industrial Systems with Effective: Verification Techniques / -- Jorge Cu~llar, Isolde Wildgruber &, Dieter Barnard -- R T L and Refutation by Positive Cycles/ -- Farn Wang & Aloysius K. Mok -- Formalising the Semantics of Ward/Mellor S A / R T Essential: Models Using a Process Algebra/ -- P.C. Fencott, A.J. Galloway, M.A. Loekyer, S.J. O'Brien ~: S. Pearson -- Deriving Relational Database Programs from Formal ,Epecifications/ -- Roberto S.M. de Barros |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
REUNIONES |
| 9 (RLIN) |
134242 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
INGENIERÍA DE SOFTWARE |
| 9 (RLIN) |
247951 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
MÉTODOS FORMALES |
| 9 (RLIN) |
247902 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Naftalin, Maurice |
| 9 (RLIN) |
256589 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Denvir, Tim |
| 9 (RLIN) |
256590 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Bertran, Miquel |
| 9 (RLIN) |
256591 |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Tipo de ítem Koha |
Libros |