Thinking Programs - Logical Modeling And Reasoning About Languages, Data, Computations, And Executions - Schreiner Wolfgang
- Collection: Texts & Monographs in Symbolic
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre93,09 €
Produit Neuf
Ou 23,27 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 11 avril
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030805098_dbm
Nos autres offres
-
114,99 €
Occasion · Comme Neuf
Ou 28,75 € /mois
- Livraison : 25,00 €
- Livré entre le 11 et le 21 avril
Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus
- 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 Thinking Programs - Logical Modeling And Reasoning About Languages, Data, Computations, And Executions de Wolfgang... - Livre Mathématiques
0 avis sur Thinking Programs - Logical Modeling And Reasoning About Languages, Data, Computations, And Executions de Wolfgang... - Livre Mathématiques
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Atlas De La Flore Du Morbihan - Flore Vasculaire
2 avis
Occasion dès 79,89 €
-
La Percée Du Bocage
1 avis
Neuf dès 62,00 €
-
Les Transformateurs Électriques De Puissance - Fonctionnement, Mise En Oeuvre Et Exploitation
1 avis
Neuf dès 52,00 €
Occasion dès 48,90 €
-
Atlas Des Oiseaux Migrateurs De France - Pack En 2 Volumes : Tome 1, Des Phasianiadés Aux Procellariidés - Tome 2, Des Ciconiidés Aux Emberizidés
4 avis
Neuf dès 120,00 €
Occasion dès 113,91 €
-
Introduction À La Cristallographie La Physique Cristalline Et La Cristallochimie
Neuf dès 64,00 €
-
Enduits Sur Supports Composés De Terre Crue - Règles Professionnelles, 63 Fiches D'exemples De Mise En Oeuvre
2 avis
Occasion dès 47,30 €
-
Gravitation
Occasion dès 50,00 €
-
Les Régimes De Neutre Et Les Schémas Des Liaisons À La Terre
Neuf dès 55,00 €
Occasion dès 60,99 €
-
Flore Forestière Française - Guide Écologique Illustré Tome 1, Plaines Et Collines
26 avis
Occasion dès 72,90 €
-
Réfraction Oculaire Et Vision Binoculaire
Neuf dès 125,00 €
Occasion dès 95,72 €
-
L'épreuve Orale Du Capes De Mathématiques - 31 Leçons Et 7 Dossiers Pour Se Préparer Efficacement
Occasion dès 69,00 €
-
Schémas De Botanique Systématique Illustrée - N° 1 - Schémas De Botanique Systématique Illustrée
Occasion dès 101,40 €
-
Eléments D'écologie - Ecologie Appliquée : Action De L'homme Sur La Biosphère
1 avis
Neuf dès 75,00 €
-
Ecologie Du Paysage - Concepts, Methodes Et Applications
Occasion dès 79,90 €
-
Manuel Du Dépanneur - Manuel Pratique De Dépannage Frigorifique, Électrique Et Hydraulique
1 avis
Occasion dès 47,90 €
-
Les Réseaux D'énergie Électrique À Haute Tension - De La Conception À L'exploitation
Neuf dès 88,00 €
-
L'elevage Bovin En Guyane - Une Innovation Majeure Dans Un Milieu Equatorial De Plaine, 1975-1990
Occasion dès 65,25 €
-
Les Diptères D'europe Occidentale - Tome 1, Introduction, Techniques D'étude Et Morphologie, Nématocères, Brachycères Orthorrhaphes Et Aschizes
Occasion dès 49,00 €
-
Galactic Dynamics
Neuf dès 129,87 €
-
Physique Xxi - Tome A, Mécanique
Neuf dès 79,90 €
Occasion dès 55,00 €
Produits similaires
Présentation Thinking Programs - Logical Modeling And Reasoning About Languages, Data, Computations, And Executions de Wolfgang...
- Livre Mathématiques
Résumé :
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems. The core message is that clear thinking about programs can be expressed in a single universal language, the formal language of logic. Apart from its universal elegance and expressiveness, this ?logical? approach to the formal modeling of and reasoning about computer programs has another advantage: due to advances in computational logic (automated theorem proving, satisfiability solving, model checking), nowadays much of this process can be supported by software. This book therefore accompanies its theoretical elaborations by practical demonstrations of various systems and tools that are based on respectively make use of the presented logical underpinnings.
Biographie:
Wolfgang Schreiner is an associate professor at the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz, Austria. He is working in formal methods of computer science (with previous research in parallel computing and functional programming), and has produced various software packages related to formal semantics, specification, and verification, in particular the RISC ProofNavigator, the RISC ProgramExplorer, and the RISC Algorithm Language (RISCAL). Formerly he directed a degree programme on Computer-based Learning at the Upper Austria University of Applied Sciences in Hagenberg.
Sommaire:
Part I The Foundations.- Syntax and Semantics.- The Language of Logic.- The Art of Reasoning.- Building Models.- Recursion.- Part II The Higher Planes.- Abstract Data Types.- Programming Languages.- Computer Programs.- Concurrent Systems.- References.- Index.
©
Détails de conformité du produit
Personne responsable dans l'UE