The Object-Z Specification Language - Smith, Graeme
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre302,99 €
Occasion · Comme Neuf
Ou 75,75 € /mois
- Livraison : 25,00 €
- Livré entre le 7 et le 15 mai
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur The Object - Z Specification Language Format Relié - Livre Informatique
0 avis sur The Object - Z Specification Language Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Hansen Solubility Parameters
Occasion dès 359,99 €
-
Triumph Of Vulcan: Sculptors' Tools, Porphyry, And The Prince In Ducal Florence
Occasion dès 220,00 €
-
The Feynman Lectures On Physics. The New Millennium Edition
1 avis
Neuf dès 241,85 €
-
Cosaan =: Les Origines (La Civilisation Sereer) (French Edition)
Occasion dès 226,58 €
-
Illuminations-2cd-Prix Conseille 24.20 E/Ttc
Occasion dès 160,00 €
-
Hans Arp
Occasion dès 299,00 €
-
Diseases Of Poultry
Neuf dès 286,82 €
-
Orthodontic Treatment Of Impacted Teeth
Neuf dès 228,30 €
-
Mosby's Orthodontic Review
Neuf dès 182,45 €
-
Maison Martin Margiela : Street Special Edition Volumes 1 & 2
Occasion dès 190,00 €
-
A Practical Guide To Chemical Peels, Microdermabrasion & Topical Products
1 avis
Neuf dès 158,90 €
-
The Viniyoga Of Yoga, Applying Yoga For Healthy Living
Occasion dès 199,00 €
-
Landscape
Occasion dès 199,07 €
-
Paravents Japonais Luxe Par La Brèche Des Nuages
1 avis
Occasion dès 200,00 €
-
Kandinsky Watercolours: Catalogue Raisonne: V. 1: 1900-21
Occasion dès 214,87 €
-
The Official Preppy Handbook
Occasion dès 373,76 €
-
Star Wars The Old Republic Encyclopedia
Occasion dès 188,50 €
-
Honeybees Of Africa
Neuf dès 299,55 €
-
Making Things Public
Occasion dès 169,00 €
-
Ultrasound Of The Musculoskeletal System
Neuf dès 223,38 €
Produits similaires
Présentation The Object - Z Specification Language Format Relié
- Livre Informatique
Résumé :
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.
Sommaire:
1 Introduction.- 1.1 Motivation.- 1.2 Classes.- 1.3 Objects.- 1.4 Inheritance.- 1.5 Polymorphism.- 1.6 Case Study: Tetris.- 2 Semantic Basis.- 2.1 Object Identity.- 2.2 Objects.- 2.3 Modularity and Compositionality.- 3 Syntactic Constructs.- 3.1 Class Definitions.- 3.2 Visibility Lists.- 3.3 Inherited Classes.- 3.4 Local Definitions.- 3.5 State Schemas.- 3.6 Initial State Schemas.- 3.7 Operations.- 3.8 Predicates.- 3.9 Expressions.- 4 Language Definition.- 4.1 Meta-Functions.- 4.2 Global Paragraphs.- 4.3 Class Paragraphs.- 4.4 Operation Expressions.- 4.5 Predicates.- 4.6 Expressions.- 5 Concurrent Systems.- 5.1 Aggregation.- 5.2 Synchronization.- 5.3 Communication.- 5.4 Nondeterminism.- 5.5 Case Study: Hearts.- 6 Concrete Syntax.- 6.1 Specifications.- 6.2 Global Paragraphs.- 6.3 Class Paragraphs.- 6.4 Operation Expressions.- 6.5 Schema Expressions.- 6.6 Declarations.- 6.7 Predicates.- 6.8 Expressions.
Détails de conformité du produit
Personne responsable dans l'UE