Semantik und Programmverifikation - Walther, Christoph
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreNos autres offres
-
63,82 €
Produit Neuf
Ou 15,96 € /mois
- Livraison à 0,01 €
- Livré entre le 24 juillet et le 5 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783519003366_dbm
Voir le détail de l'annonce -
61,69 €
Produit Neuf
Ou 15,42 € /mois
- Livraison : 3,99 €
- Livré entre le 23 et le 29 juillet
Voir le détail de l'annonce -
64,56 €
Produit Neuf
Ou 16,14 € /mois
- Livraison : 25,00 €
- Livré entre le 6 et le 11 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
- 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 Semantik Und Programmverifikation de Walther, Christoph Format Broché - Livre Technologie
0 avis sur Semantik Und Programmverifikation de Walther, Christoph Format Broché - Livre Technologie
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
The Caretaker
5 avis
Occasion dès 2,98 €
-
Burning Issues - Vocabulaire Anglais De L'actualité
1 avis
Neuf dès 19,50 €
Occasion dès 3,69 €
-
The Very Hungry Caterpillar
4 avis
Occasion dès 4,00 €
-
The Big Picture - Vocabulaire De L'actualité En Anglais
3 avis
Occasion dès 4,99 €
-
The Vocabulary Guide - Les Mots Anglais Et Leur Emploi
Occasion dès 5,49 €
-
Bescherelle Italien - Le Vocabulaire
6 avis
Neuf dès 11,50 €
Occasion dès 5,00 €
-
The Tempest
Neuf dès 22,87 €
Occasion dès 5,50 €
-
The Grammar Guide, Anglais
Neuf dès 20,90 €
Occasion dès 3,99 €
-
The World Of Cycling According To G
Neuf dès 4,30 €
Occasion dès 3,74 €
-
Le Vocabulaire Anglais Au Baccalauréat - 22, 16, Terminales, Avec Exercices
Occasion dès 3,00 €
-
Wonder
4 avis
Neuf dès 23,85 €
Occasion dès 3,70 €
-
A Midsummer Night's Dream
2 avis
Neuf dès 23,50 €
Occasion dès 3,00 €
-
The Sketch Book (Le Livre D'esquisses) - Extraits
Occasion dès 3,00 €
-
The Virgin In The Ice
Occasion dès 3,74 €
-
Oliver Twist - 6e
1 avis
Neuf dès 4,95 €
Occasion dès 2,90 €
-
Italien Faux-Débutants
2 avis
Occasion dès 5,00 €
-
Perspectives On The Making Of America - An Introduction To Us Civilization
5 avis
Neuf dès 24,50 €
Occasion dès 4,49 €
-
Dali, L'énigme Sans Fin
Occasion dès 3,15 €
-
What I Loved
Occasion dès 6,29 €
-
King Richard Iii
Neuf dès 31,12 €
Occasion dès 6,00 €
Produits similaires
Présentation Semantik Und Programmverifikation de Walther, Christoph Format Broché
- Livre Technologie
Résumé :
.
Biographie:
Prof. Dr. Christoph Walther, TU Darmstadt...
Sommaire:
1 Formale Grundlagen.- 1.1 Syntax der Pr?dikatenlogik 1. Stufe.- 1.2 Semantik der Sprache 1. Stufe.- 1.3 Fundierte Mengen.- 1.4 Konstruktion fundierter Mengen.- 1.5 Konfluente Relationen.- 2 Funktionale Programme.- 2.1 Die Programmiersprache FP.- 2.2 Operationale Semantik von FP.- 2.3 Denotationale Semantik von FP.- 2.4 ?quivalenz von operationaler und denotationaler Semantik.- 2.5 Erweiterung von FP um Datenstrukturen.- 2.6 Alternativen der Parameter?bergabe.- 2.7 Elimination von gegenseitiger Rekursion.- 3 Verifikation funktionaler Programme.- 3.1 Terminierung funktionaler Programme.- 3.2 Normal- und Tail-Rekursive Funktionsprozeduren.- 3.3 Spezifikation funktionaler Programme.- 3.4 Semantik der Spezifikationssprache.- 3.5 Beweise zur partiellen Korrektheit.- 3.6 Grenzen der formalen Verifikation.- 3.7 Korrektheitsbeweise durch Induktion.
Détails de conformité du produit
Personne responsable dans l'UE