84,13 €
Produit Neuf
Ou 21,03 € /mois
- Livraison : 3,99 €
- Livré entre le 22 et le 29 septembre
Nos autres offres
-
89,95 €
Produit Neuf
Ou 22,49 € /mois
- Livraison : 25,00 €
- Livré entre le 6 et le 12 octobre
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 Program Specification Format Broché - Livre Informatique
0 avis sur Program Specification Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 90,00 €
-
Catafalque
Neuf dès 86,94 €
-
I Want To Spend The Rest Of My Life Everywhere, With Everyone, One To One, Always, Forever, Now
Occasion dès 96,88 €
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
English Legal System Eighth Edition
Neuf dès 60,59 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Turc Sans Peine Méthode Assimil
Occasion dès 60,25 €
-
The Work Of Hipgnosis -Walk Away Rene
1 avis
Occasion dès 71,99 €
-
The Collected Poems Of Amy Clampitt
Neuf dès 49,38 €
-
Sf2a : Scientific Highlights 2004
Occasion dès 69,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Le Corbusier
2 avis
Neuf dès 445,67 €
Occasion dès 59,90 €
-
Edexcel A Level Mathematics Pure Mathema
Neuf dès 64,34 €
-
Anglais - Préparer Les Concours, Méthodologie Et Applications
Occasion dès 45,80 €
-
La Version Allemande Systématique
2 avis
Occasion dès 45,80 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
Zetetic Astronomy - Earth Not A Globe! An Experimental Inquiry Into The True Figure Of The Earth
Neuf dès 42,96 €
-
Harald Szeemann
Neuf dès 87,99 €
-
Bilingue 2000 - Lexique Thématique De L'italien Contemporain, Lessico Tematico Del Francese Contemporaneo
2 avis
Occasion dès 58,05 €
-
Motor Racing - Reflections Of A Lost Era
Neuf dès 63,37 €
Produits similaires
Présentation Program Specification Format Broché
- Livre Informatique
Résumé :
Program specification: Issues and observations.- Example 1: Geometrical constructions.- Example 1: Geometrical constructions.- Example 2: KWIC ? index generation.- Example 2: KWIC ? index generation.- Example 2: KWIC ? index generation.- Example 2: KWIC ? index generation.- Example 2: KWIC ? index generation.- Example 2: KWIC ? index generation.- Example 2: KWIC ? index generation.- Example 3: Communication network.- Example 3: Communication network.- Partial correctness of distributed programs.- Specification of distributed programs.- Robust data types.- A reduction specification for DTL.- Recursive definitions of operations in universal algebras.- The SRDL specification experiment.- Program specification by module trees.- Parameter passing in algebraic specification languages.- A few remarks on putting formal specifications to productive use.- A specification language.- Tecton: A language for manipulating generic objects.- Concurrency.- Workshop on program specification.- List of participants.
Sommaire:
Program specification: Issues and observations.- Example 1: Geometrical constructions.- Example 1: Geometrical constructions.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 3: Communication network.- Example 3: Communication network.- Partial correctness of distributed programs.- Specification of distributed programs.- Robust data types.- A reduction specification for DTL.- Recursive definitions of operations in universal algebras.- The SRDL specification experiment.- Program specification by module trees.- Parameter passing in algebraic specification languages.- A few remarks on putting formal specifications to productive use.- A specification language.- Tecton: A language for manipulating generic objects.- Concurrency.- Workshop on program specification.- List of participants....
Détails de conformité du produit
Personne responsable dans l'UE