|
|
|
|
| LEADER |
01478cam a22004457a 4500 |
| 001 |
BIBLO-29514 |
| 003 |
AR-BaUEN |
| 005 |
20201111150308.0 |
| 008 |
010927s1992 enka|||f |||| 00| 0|eng|d |
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 020 |
|
|
|a 0521434572
|
| 044 |
|
|
|a xxk
|
| 080 |
|
|
|a 681.36
|
| 100 |
1 |
|
|a Feijs, L. M. G.
|
| 245 |
1 |
0 |
|a Formal specification and design
|
| 250 |
|
|
|a 1st. ed.
|
| 260 |
|
|
|a Cambridge :
|b Cambridge University Press,
|c 1992
|
| 300 |
|
|
|a 335 p. :
|b il.
|
| 490 |
0 |
|
|a Cambridge tracts in theoretical computer science ;
|v 35
|
| 505 |
0 |
0 |
|t Preface
|
| 505 |
0 |
0 |
|g 1
|t Introducing the basic concepts
|
| 505 |
0 |
0 |
|g 2
|t Setting up algebraic specifications
|
| 505 |
0 |
0 |
|g 3
|t Structing algebraic specifications
|
| 505 |
0 |
0 |
|g 4
|t implementing algebraic specifications
|
| 505 |
0 |
0 |
|g 5
|t From algebras to states
|
| 505 |
0 |
0 |
|g 6
|t Setting up state-based specifications
|
| 505 |
0 |
0 |
|g 7
|t Structuring state-based specifications
|
| 505 |
0 |
0 |
|g 8
|t Implementing state-based specifications
|
| 505 |
0 |
0 |
|g 9
|t Theoretical topics
|
| 505 |
0 |
0 |
|g 10
|t Additional language constructs
|
| 505 |
0 |
0 |
|g 11
|t Towards large systems
|
| 505 |
0 |
0 |
|t Bibliography
|
| 505 |
0 |
0 |
|g A
|t Syntax
|
| 505 |
0 |
0 |
|g B
|t Standard library
|
| 505 |
0 |
0 |
|t Index
|
| 653 |
1 |
0 |
|a SOFTWARE
|
| 653 |
1 |
0 |
|a PROGRAMACION ORIENTADA A OBJETOS
|
| 700 |
1 |
|
|a Jonkers, H. B. M.
|
| 962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|
| 999 |
|
|
|c 22940
|