Usted se encuentra revisando un registro bibliográfico de la BDU Para conocer mas sobre la Base de Datos Unificada haga click en el ícono del home

Titulos:
An introduction to formal specification and z / Ben Potter, Jane Sinclair, David Till
Idiomas:
eng
ISBN:
0132422077
Lugar de Edición:
Londres:
Editor:
Prentice Hall,
Fecha de Edición:
1996
Edición #:
2nd ed.
Notas Formateada:
1: Formal specification in the context of software engineering -- 2: An informal introduction to logic and set theory -- 3: A first specification -- 4: The Z notation: the mathematical language -- 5: The Z notation: relations and functions -- 6: The Z notation: schemas and specification structure -- 7: A first specification revisited -- 8: Camp energy: a case study -- 9: Formal reasoning -- 10: From specification to program: data and operation refinement -- 11: From specification to program: operation decomposition -- 12: From theory to practice
Palabras clave:

Leader:
cam
Campo 003:
AR-BaIT
Campo 008:
270401s1996t |||||||||||||||||eng
Campo 020:
^a0132422077
Campo 040:
^aITBA^cITBA
Campo 041:
0 ^aeng
Campo 100:
1 ^aPotter, Ben^912842
Campo 245:
13^aAn introduction to formal specification and z /^cBen Potter, Jane Sinclair, David Till
Campo 246:
Campo 250:
^a2nd ed.
Campo 260:
^aLondres:^bPrentice Hall,^c1996
Campo 300:
^axiv, 434 p.
Campo 505:
0 ^a1: Formal specification in the context of software engineering -- 2: An informal introduction to logic and set theory -- 3: A first specification -- 4: The Z notation: the mathematical language -- 5: The Z notation: relations and functions -- 6: The Z notation: schemas and specification structure -- 7: A first specification revisited -- 8: Camp energy: a case study -- 9: Formal reasoning -- 10: From specification to program: data and operation refinement -- 11: From specification to program: operation decomposition -- 12: From theory to practice
Campo 700:
1 ^aSinclair, Jane^914733
Campo 700:
1 ^aTill, David^915643
Proveniencia:
^aInstituto Tecnológico Buenos Aires (ITBA) - Biblioteca
Seleccionar y guardar el registro Haga click en el botón del carrito
Institucion:
Instituto Tecnológico Buenos Aires (ITBA)
Dependencia:
Biblioteca

Compartir este registro en Redes Sociales

Seleccionar y guardar el registro Haga click en el botón del carrito