Program Proofs de K. Rustan M. Leino Format Broché

Program Proofs - K. Rustan M. Leino

Format: Broché

Note : 0

Soyez le premier à donner un avis

Filtrer par :

90,59 €

Produit Neuf

Ou 22,65 € /mois

Livraison : 3,99 €
Livré entre le 17 et le 24 septembre

Voir les modes de livraison

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Voir le détail de l'annonce

Nos autres offres

120,96 €

Produit Neuf

Ou 30,24 € /mois

En savoir plus
- Livraison à 0,01 €
Voir les modes de livraison
rarewaves-us

PRO

4,7/5 sur + de 1 000 ventes

Afficher la description de l'annonce

Nouvel article expédié dans le 24H à partir des Etats Unis Livraison au bout de 14 à 21 jours ouvrables.

Voir le détail de l'annonce

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Program Proofs de K. Rustan M. Leino Format Broché - Livre Informatique

Note : 0 0 avis sur Program Proofs de K. Rustan M. Leino Format Broché - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Program Proofs de K. Rustan M. Leino Format Broché
- Livre Informatique

Livre Informatique - K. Rustan M. Leino - 01/03/2023 - Broché - Langue : Anglais

Auteur(s) : K. Rustan M. Leino - Kaleb Leino

Editeur : Mit Press Ltd

Langue : Anglais

Parution : 01/03/2023

Format : Moyen, de 350g à 1kg

Nombre de pages : 496

Expédition : 766

Dimensions : 22.5 x 17.6 x 2.5

ISBN : 026254623X

Résumé :
This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.

Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. Writing with clarity and humor, K. Rustan M. Leino first provides an overview of the basic theory behind reasoning about programs. He then gradually builds up to complex concepts and applications, until students are facing real programs using objects, data structures, and non-trivial recursion. To emphasize the practical nature of program proofs, all material and examples use the verification-aware programming language Dafny, but no previous knowledge of Dafny is assumed.

Written in a highly readable and student-friendly style
Builds up to complex concepts in an incremental manner ...

Biographie:

...

Sommaire:

Comprehensively covers how to write proofs and how to specify and verify both functional programs and imperative programs

Uses real program text from a real programming language, not psuedo code

Features engaging illustrations and hands-on learning exercises ...

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Program Proofs - K. Rustan M. Leino

Avis sur Program Proofs de K. Rustan M. Leino Format Broché - Livre Informatique

Présentation Program Proofs de K. Rustan M. Leino Format Broché - Livre Informatique

Présentation Program Proofs de K. Rustan M. Leino Format Broché
- Livre Informatique