CASL Reference Manual -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre159,45 €
Produit Neuf
Ou 39,86 € /mois
- Livraison : 3,99 €
- Livré entre le 29 juillet et le 4 août
Nos autres offres
-
163,44 €
Produit Neuf
Ou 40,86 € /mois
- Livraison à 0,01 €
- Livré entre le 30 juillet et le 11 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540213017_dbm
Voir le détail de l'annonce -
162,56 €
Produit Neuf
Ou 40,64 € /mois
- Livraison : 25,00 €
- Livré entre le 12 et le 17 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce
- 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 Casl Reference Manual Format Broché - Livre Informatique
0 avis sur Casl Reference Manual Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Quantum Chemistry, 2nd Edition
1 avis
Neuf dès 199,48 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Indian Jewelry Making Volume 1
Occasion dès 110,00 €
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
Argentina Ruta 40
Occasion dès 99,00 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
Just Enough Software Architecture: A Risk-Driven Approach
Occasion dès 119,99 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 92,44 €
-
Watching Weimar Dance
Neuf dès 94,09 €
-
Pete Townshend: Who I Am
Neuf dès 127,99 €
-
The Lord Of The Rings
Neuf dès 183,21 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Mykonos Muse
Neuf dès 105,00 €
Occasion dès 155,00 €
-
Jouef : Les Petits Trains De Notre Enfance
1 avis
Occasion dès 115,00 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
Financial & Managerial Accounting Ise
Neuf dès 104,72 €
-
Oxford Resources For Ib Dp Chemistry: Course Book
Neuf dès 102,33 €
Produits similaires
Présentation Casl Reference Manual Format Broché
- Livre Informatique
Résumé :
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications. As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.
Sommaire:
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications. As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual....
Détails de conformité du produit
Personne responsable dans l'UE