163,44 €
Produit Neuf
Ou 40,86 € /mois
- Livraison à 0,01 €
- Livré entre le 24 août et le 8 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540516989_dbm
Nos autres offres
-
159,45 €
Produit Neuf
Ou 39,86 € /mois
- Livraison : 3,99 €
- Livré entre le 24 et le 31 août
Voir le détail de l'annonce -
163,44 €
Produit Neuf
Ou 40,86 € /mois
- Livraison à 0,01 €
- Livré entre le 24 août et le 8 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540516989_dbm
Voir le détail de l'annonce -
166,32 €
Produit Neuf
Ou 41,58 € /mois
- Livraison : 25,00 €
- Livré entre le 7 et le 12 septembre
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 Algebraic Methods: Theory, Tools And Applications Format Broché - Livre Informatique
0 avis sur Algebraic Methods: Theory, Tools And Applications Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Stratified Morse Theory
Neuf dès 191,54 €
-
Car Racing 1971
Neuf dès 129,00 €
-
Ellen Von Unwerth. Heimat
Neuf dès 98,04 €
-
Georg Baselitz
Neuf dès 137,45 €
Occasion dès 91,61 €
-
Laboratory Medicine In Psychiatry And Behavioral Science
Neuf dès 125,20 €
-
12 Division Headquarters, Branches And Services Royal Army Medical Corps Assistant Director Medical Services
Neuf dès 90,80 €
-
Shade, The Changing Man By Peter Milligan And Chris Bachalo Omnibus Vol. 1
Neuf dès 128,81 €
-
Batman By Scott Snyder & Greg Capullo Omnibus Vol. 1
Neuf dès 122,36 €
-
Periprosthetic Joint Infection
Neuf dès 82,54 €
-
André Saraiva: Graffiti Life
Neuf dès 98,04 €
-
Project Management For Engineers
Neuf dès 98,92 €
-
World Scenography 1990-2005
Neuf dès 82,58 €
-
Murder By Design
Neuf dès 129,61 €
-
Superman & Batman: Generations Omnibus
Neuf dès 84,18 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
Mimesis As Make-Believe
Neuf dès 82,75 €
-
The Lord Of The Rings
Neuf dès 190,12 €
-
Supergirl: The New 52 Omnibus Vol. 1
Neuf dès 125,26 €
-
The New Munsell Student Color Set
Neuf dès 130,13 €
-
Configuring Sap S/4hana Finance
Neuf dès 120,70 €
Produits similaires
Présentation Algebraic Methods: Theory, Tools And Applications Format Broché
- Livre Informatique
Résumé :
Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL?.- Description algebra.- The calculus ??.- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP? a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.
Sommaire:
Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL?.- Description algebra.- The calculus ??.- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP? a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples....
Détails de conformité du produit
Personne responsable dans l'UE