MARC details
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
04816nam a2200253 a 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20250311170411.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
230201s1996 gw a r 000 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
3540609733 |
| 024 8# - Otro identificador estandar |
|---|
| Número estándar o código |
DIF-M6273 |
| -- |
6401 |
| -- |
DIF005731 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
AR-LpUFIB |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
AR-LpUFIB |
| 245 00 - MENCIÓN DE TÍTULO |
|---|
| Título |
FME ’96, industrial benefit and advances in formal methods : |
| Resto del título |
Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings |
| 250 ## - MENCIÓN DE EDICIÓN |
|---|
| 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. |
c1996 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
xii, 704 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 |
105 |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Incluye referencias bibliográficas e índice. |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
- How did Software get so Reliable Without Proof?/ C. A. R. Hoare -- - A Case Study on the Formal Development of a Reactor Safety System / Terje Sivertsen -- - Test Automation for Safety-Critical Systems: Industrial Application and Future Developments / Jan Peleska -- - Quantitative Analysis of an Application of Formal Methods /J. Bicarregui, J. Dick and E. Woods -- - Applying the B Technologies to CICS /J. Hoare, J. Dick, D. Neilson and I. SCrensen -- - Refining Action Systems within B-Tool / M. Waldén and K. Sere -- - Integrating Action Systems and Z in a Medical System Specification / V. Kasurinen and K. Sere -- - Formalizing Anaesthesia: a Case Study in Formal Specification / R. Groenboom, E. Saaman, E. Rotterdam and G. Renardel de Lavalette -- - A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation / J. Martins and J.-P. Hubaux -- - Formalizing New Navigation Requirements for NASA's Space Shuttle / Ben L. Di Vito -- - Combining VDM-SL Specifications with C++ Code / B. Fröhlich and P.G. Larsen -- - Data Reification whithout Explicit Abstraction Functions / T. Clement -- - Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study / T. M. Brookes, J. S. Fitzgerald and P.G. Larsen -- - Visual Verification of Safety and Liveness / A. Valmari and M. Setälä -- - Graphical Development of Consistent System Specifications /B. Schätz, H. HuBmann and M. Broy -- - Deduction in the Verification Support Environment (VSE) / D. Hutter, B. Langenstein, C. Sengler, J. H. Siekmann, W. Stephan and A. Wolpers -- - Consistency and Refinement for Partial Specification in Z / E. Boiten, J. Derrick, H. Bowman and M. Steen -- - Combining Statecharts and Z for the Design of Safety-Critical Control Systems / M. Weber -- - Integrating Real-time Scheduling Theory and Program Refinement / C. Fidge, M. Utting, P. Kearney and I. Hayes -- - Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems /C. Seguin and V. Wiels -- - Local Nondeterminism in Asynchronously Communicating Processes /F. S. de Boer and M. van Hulst -- - Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language/ P. Chalin, P. Grogono and T. Radhakrishnan -- - Formal Specification and Verification of the pGVT Algorithm / B. Kannikeswaran, R. Radhakrishnan, P. Frey, P. Alexander and P. A. Wilsey -- - Automatic Verification of a Hydroelectric Power Plant / R. Pugliese and E. Tronci -- - Experiences in Embedded Scheduling /David M. Jackson -- - Model Checking in Practice: An Analysis of the ACCESS.bus TM Protocol using SPIN/ B. Boigelot and P. Godefroid -- - The Incremental Development of Correct Specifications for Distributed Systems / S. Kleuker and H. Tjabben -- - A Theory of Distributing Train Rescheduling / C. George -- - An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets /L. Shi and P. Nixon -- - From Testing Theory to Test Driver Implementation /J. Peleska and M. Siegel -- - Program Slicing using Weakest Preconditions /J. J. Comuzzi and J. M. Hart -- - A Formal Approach to Architectural Design Patterns / P. S. C. Alencar, D. D. Cowan and C. J. P. Lucena -- - Modular Completeness: Integrating the Reuse of Specified Software in Top-Down Program Development /J. Zwiers, U. Hannemann, Y. Lakhneche, W.-P. de Roever and F. Stomp -- - A Strategic Approach to Transformational Design /J. Bohn and W. Janssen -- - Correct and User-Friendly Implementations of Transformation Systems /Kolyang, T. Santen and B. Wolff -- - An Example of use of Formal Methods to Debug an Embedded Software /A. Arnold, D. Bégay and J.-P. Radoux -- - Experiments in Theorem Proving and Model Checking for Protocol Verification / K. Havelund and N. Shankar -- - Procedure-Level Verification of Real-time Concurrent Systems /F. Wang and C.-T. Lo |
| 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 |
| 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 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Gaudel, Marie-Claude , |
| -- |
Editor/a |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Woodcock, James , |
| -- |
Editor/a |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Tipo de ítem Koha |
Libro |