Computable Models - Raymond Turner
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre82,36 €
Produit Neuf
Ou 20,59 € /mois
- Livraison : 3,99 €
- Livré entre le 25 et le 31 juillet
Nos autres offres
-
85,00 €
Produit Neuf
Ou 21,25 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 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 -
119,51 €
Produit Neuf
Ou 29,88 € /mois
- Livraison à 0,01 €
- Livré entre le 27 juillet et le 8 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781849968188_dbm
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 Computable Models de Raymond Turner Format Broché - Livre Informatique
0 avis sur Computable Models de Raymond Turner Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Final Fantasy X 25th Anniversary Visual Art Book -Eternal Spira-
Neuf dès 41,99 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Oxford Resources For Ib Dp Chemistry: Study Guide
Neuf dès 54,16 €
-
Manuel D'arabe En Ligne Apprentissage En Autonomie
Occasion dès 46,39 €
-
Alice In Wonderland And Through The Looking-Glass (Collector's Edition) (Laminated Hardback With Jacket)
Neuf dès 52,06 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
History For The Ib Diploma Paper 3 The Soviet Union And Post-Soviet Russia (1924-2000) Coursebook With Digital Access (2 Years)
Neuf dès 44,39 €
-
The Mirabelle Cookbook
Occasion dès 98,08 €
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
The Hobbit And The Lord Of The Rings
Occasion dès 43,02 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 91,64 €
-
Initiation Aux Lettres Latines - Livre N° 2 - Classe De Troisième 3e - Programme De 1971
Occasion dès 49,97 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
Twilight
1 avis
Occasion dès 47,02 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 73,00 €
-
Maps
Neuf dès 46,70 €
-
500+ Ukrainian Verbs
Neuf dès 69,69 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
Produits similaires
Présentation Computable Models de Raymond Turner Format Broché
- Livre Informatique
Résumé : Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational models with a logical foundation. Computable models have wide-ranging applications from programming language semantics and specification languages, through to knowledge representation languages and formalism for natural language semantics. They are also implicit in computer modelling in many areas of physical and social science. This detailed investigation into the logical foundations of specification and specification languages and their application to the definition of programming languages, coupled with a clear exposition of theories of data and computable models as mathematical notions will be welcomed by researchers and graduate students.
Sommaire:
What is a Computable Model?.- Typed Predicate Logic.- Data Types.- Definability.- Specification.- Functions.- Preconditions.- Natural Numbers.- Typed Set Theory.- Systems Modeling.- A Type of Types.- Schemata.- Separation Types.- Recursive Schemata.- Inductive Types.- Recursive Functions.- Schema Definitions.- Computable Ontology.- Classes.- Classes of Functions.- Computable Analysis.- Programming Language Specification.- Abstract Types.- Conclusion.
Détails de conformité du produit
Personne responsable dans l'UE