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
- 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 €
-
The Twilight Saga Deluxe Hardcover Collection
Neuf dès 223,38 €
-
Design For Motion
Neuf dès 104,46 €
-
Car Racing 1971
Neuf dès 129,00 €
-
Eva Hesse
Occasion dès 184,99 €
-
Georg Baselitz
Neuf dès 137,45 €
Occasion dès 91,61 €
-
The Evolution Of Complexity By Means Of Natural Selection
Neuf dès 136,68 €
-
The Religion Of The Mithras Cult In The Roman Empire
Neuf dès 214,66 €
-
Dictionnaire Chinois - Anglais
Occasion dès 99,00 €
-
Te Linde's Operative Gynecology
Neuf dès 103,99 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 90,00 €
-
Lexique Multilingue - Pâtisserie, Boulangerie, Chocolaterie-Confiserie, Glacerie
2 avis
Occasion dès 140,00 €
-
Throne Of Glass Box Set (Paperback)
Neuf dès 86,00 €
Occasion dès 239,59 €
-
Laboratory Medicine In Psychiatry And Behavioral Science
Neuf dès 125,20 €
-
Quantum Chemistry, 2nd Edition
1 avis
Neuf dès 227,66 €
-
12 Division Headquarters, Branches And Services Royal Army Medical Corps Assistant Director Medical Services
Neuf dès 90,80 €
-
Last Resort: Photographs Of New Brighton
Occasion dès 139,90 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Shade, The Changing Man By Peter Milligan And Chris Bachalo Omnibus Vol. 1
Neuf dès 128,81 €
-
The Book Of Tiki: The Cult Of Polynesian Pop In Fifties America (Taschen Specials)
Occasion dès 117,89 €
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