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.
"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
- IdiomaInglés
- Número de páginas164
EUR 90,27
EUR 37,56 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 42,76
EUR 10,68 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para The Object-Z Specification Language: 1 (Advances in...
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
Librería: New Book Sale, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
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
Cantidad disponible: 1 disponibles
Imagen de archivo
The Object-Z Specification Language
Publicado por
Kluwer Academic Publishers, 1999
ISBN 10: 0792386841
ISBN 13: 9780792386841
Antiguo o usado
Tapa dura
Librería: BookOrders, Russell, IA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hard Cover. Condición: Good. No Jacket. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows light wear. 146 pages. Ex-Library. Nº de ref. del artículo: 119521
Cantidad disponible: 1 disponibles
Imagen del vendedor
The Object-Z Specification Language
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
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
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
The Object-Z Specification Language (Advances in Formal Methods)
Librería: Salish Sea Books, Bellingham, WA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Good. 0792386841 Good; Hardcover; 1999, Springer-Verlag Publishing; Former library copy with standard library markings; Moderate wear to covers; Library stamps to endpapers; Text pages clean & unmarked; Good binding with straight spine; Blue covers with title in white lettering; 146 pages; "The Object-Z Specification Language (Advances in Formal Methods)," by Graeme Smith. Nº de ref. del artículo: SKU-O4205911223
Cantidad disponible: 1 disponibles
Imagen del vendedor
The Object-Z Specification Language
Publicado por
Springer US, Springer New York, 1999
ISBN 10: 0792386841
ISBN 13: 9780792386841
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
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
Cantidad disponible: 1 disponibles
Imagen de archivo
The Object-Z Specification Language (Advances in Formal Methods, 1)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780792386841_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
The Object-Z Specification Language
Impresión bajo demandaLibrería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
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
Cantidad disponible: 2 disponibles
Imagen de archivo
The Object-Z Specification Language (Advances in Formal Methods, 1)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190185465
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Object-Z Specification Language
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 164 Index. Nº de ref. del artículo: 26320517
Cantidad disponible: 4 disponibles
Imagen de archivo
The Object-Z Specification Language (Advances in Formal Methods (1))
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA77307923868416
Cantidad disponible: 1 disponibles