Editore: Kluwer Academic Publishers, 1999
ISBN 10: 0792386841 ISBN 13: 9780792386841
Lingua: Inglese
Da: BookOrders, Russell, IA, U.S.A.
EUR 90,27
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloHard Cover. Condizione: Good. No Jacket. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows light wear. 146 pages. Ex-Library.
Da: New Book Sale, London, Regno Unito
EUR 42,76
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service.
Da: Salish Sea Books, Bellingham, WA, U.S.A.
EUR 165,77
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 211,73
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 212,08
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 233,62
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 233,62
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 216,56
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Editore: Springer US, Springer New York, 1999
ISBN 10: 0792386841 ISBN 13: 9780792386841
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 221,53
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: 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.
EUR 308,29
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 164 Index.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 296,88
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
EUR 322,97
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New.
Da: moluna, Greven, Germania
EUR 180,07
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
Da: moluna, Greven, Germania
EUR 180,07
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: 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.
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 213,99
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 255,73
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 324,66
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 164 Illus.