Artículos relacionados a The Object-Z Specification Language: 1 (Advances in...
Reseña del editor:
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible.
The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z.
The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.
The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z.
The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación1999
- ISBN 10 0792386841
- ISBN 13 9780792386841
- EncuadernaciónTapa dura
- Número de páginas164
Comprar nuevo
Ver este artículo
EUR 42,23
Gastos de envío:
EUR 52,71
De Reino Unido a Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
The Object-Z Specification Language (Advances in Formal Methods)
Publicado por
Kluwer Academic Publisher
(1999)
ISBN 10: 0792386841
ISBN 13: 9780792386841
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service. Nº de ref. del artículo: 0792386841-- 371
Comprar nuevo
EUR 42,23
Convertir moneda
Gastos de envío:
EUR 52,71
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
THE OBJECT-Z SPECIFICATION LANGU
Publicado por
Springer
(1999)
ISBN 10: 0792386841
ISBN 13: 9780792386841
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. New. In shrink wrap. Looks like an interesting title! 0.96. Nº de ref. del artículo: Q-0792386841
Comprar nuevo
EUR 165,55
Convertir moneda
Imagen del vendedor
The Object-Z Specification Language (Advances in Formal Methods (1)) by Smith, Graeme [Hardcover ]
Publicado por
Springer
(1999)
ISBN 10: 0792386841
ISBN 13: 9780792386841
Nuevo
Tapa dura
Cantidad disponible: 10
Librería:
Valoración
Descripción Hardcover. Condición: new. Nº de ref. del artículo: 9780792386841
Comprar nuevo
EUR 201,97
Convertir moneda
Imagen de archivo
The Object-Z Specification Language (Advances in Formal Methods, 1)
Publicado por
Springer
(1999)
ISBN 10: 0792386841
ISBN 13: 9780792386841
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190185465
Comprar nuevo
EUR 222,95
Convertir moneda
Imagen del vendedor
The Object-Z Specification Language
Publicado por
Springer US
(1999)
ISBN 10: 0792386841
ISBN 13: 9780792386841
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z s semantic basis, it enables the specification of systems as collections of ind. Nº de ref. del artículo: 5971079
Comprar nuevo
EUR 180,07
Convertir moneda
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
The Object-Z Specification Language
Publicado por
Springer
(1999)
ISBN 10: 0792386841
ISBN 13: 9780792386841
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9780792386841_lsuk
Comprar nuevo
EUR 227,36
Convertir moneda
Gastos de envío:
EUR 11,69
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
The Object-Z Specification Language
Publicado por
Springer US
(1999)
ISBN 10: 0792386841
ISBN 13: 9780792386841
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry. Nº de ref. del artículo: 9780792386841
Comprar nuevo
EUR 221,00
Convertir moneda
Gastos de envío:
EUR 32,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
The Object-Z Specification Language
Publicado por
Springer US Dez 1999
(1999)
ISBN 10: 0792386841
ISBN 13: 9780792386841
Nuevo
Tapa dura
Cantidad disponible: 2
Librería:
Valoración
Descripción Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry. 164 pp. Englisch. Nº de ref. del artículo: 9780792386841
Comprar nuevo
EUR 255,73
Convertir moneda
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío