Artículos relacionados a The Object-Z Specification Language: 1 (Advances in...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
Comprar nuevo
Ver este artículo
EUR 41,52
EUR 51,82 gastos de envío desde Reino Unido a Estados Unidos de America
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
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 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
Gastos de envío:
EUR 51,82
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 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 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 del vendedor
Object Z Specification Language
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 269205-n
Cantidad disponible: 15 disponibles
Imagen del vendedor
The Object-Z Specification Language
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 4 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
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Object-Z Specification Language (Hardcover)
Publicado por
Kluwer Academic Publishers, Dordrecht, 1999
ISBN 10: 0792386841
ISBN 13: 9780792386841
Nuevo
Tapa dura
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Hardcover. 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. This work presents a 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 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
Gastos de envío:
EUR 13,80
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Object Z Specification Language
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 269205
Cantidad disponible: 15 disponibles
Imagen de archivo
The Object-Z Specification Language
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 1999. Hardcover. . . . . . Nº de ref. del artículo: V9780792386841
Gastos de envío:
EUR 10,50
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 15 disponibles