Introducing Software Verification With Dafny Language de Sitnikovski, Boro Format Broché

Introducing Software Verification with Dafny Language - Sitnikovski, Boro

Format: Broché

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Neuf (1)

Occasion (1)

Reconditionné

43,58 €

Produit Neuf

Ou 10,90 € /mois

Livraison à 0,01 €
Livré entre le 29 avril et le 6 mai

Voir les modes de livraison

PRO Vendeur favori

4,9/5 sur + de 1 000 ventes

Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781484279779_dbm

Nos autres offres

48,99 €

Occasion · Comme Neuf

Ou 12,25 € /mois

En savoir plus
- Livraison : 0,00 €
- Livré entre le 6 et le 15 mai
Voir les modes de livraison
USAMedia

PRO

4,6/5 sur + de 1 000 ventes

Contacter le vendeur

Afficher la description de l'annonce

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

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-mail si vous avez des questions. Notre service clientele sera ravi de vous aider. Voir moins

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 Introducing Software Verification With Dafny Language de Sitnikovski, Boro Format Broché - Livre Informatique

Note : 0 0 avis sur Introducing Software Verification With Dafny Language de Sitnikovski, Boro 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 Introducing Software Verification With Dafny Language de Sitnikovski, Boro Format Broché
- Livre Informatique

Livre Informatique - Sitnikovski, Boro - 01/03/2022 - Broché - Langue : Anglais

Auteur(s) : Sitnikovski, Boro

Editeur : Apress L.P.

Langue : Anglais

Parution : 01/03/2022

Format : Moyen, de 350g à 1kg

Nombre de pages : 152

Expédition : 242

Dimensions : 23.5 x 15.5 x 0.9

ISBN : 1484279778

Résumé :

Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. It's the perfect primer for software programmers and developers with C# and other programming language skills.

Writing correct software can be hard, so you'll learn the concept of computation and software verification. Then, apply these concepts and techniques to confidently write bug-free code that is easy to understand. Source code will be available throughout the book and freely available via GitHub.

After reading and using this book you'll be able write correct, big free software source code applicable no matter which platform and programming language you use.

What You Will Learn

Discover the Microsoft Research-backed Dafny programming language Explore Hoare logic, imperative and functional programs Work with pre- and post-conditions Use data types, pattern matching, and classes Dive into verification examples for potential re-use for your own projects

Who This Book Is For

Software developers and programmers with at least prior, basic programming experience. No specific language needed. It is also for those with very basic mathematical experience (function, variables).

...

Biographie:
Boro Sitnikovski has over ten years of experience working professionally as a software engineer. He started programming with assembly on an Intel x86 at the age of ten. While in high school, he won several prizes in competitive programming, varying from 4th, 3rd, and 1st place. He is an informatics graduate - his bachelor's thesis was titled Programming in Haskell using algebraic data structures, and his master's thesis was titled Formal verification of Instruction Sets in Virtual Machines. He has also published a few papers on software verification. Other research interests of his include programming languages, mathematics, logic, algorithms, and writing correct software. He is a strong believer in the open-source philosophy and contributes to various open-source projects. In his spare time, he enjoys some time off with his family....

Sommaire:

Introduction: Languages and Systems.- Chapter 1: Our First Program.- Chapter 2: Logic.-

Chapter 3: Computation.- Chapter 4: Mathematical Foundations.- Chapter 5: Proofs.- Chapter 6: Specifications.- Chapter 7: Mathematical Induction.- Chapter 8: Verification Exercises.- Chapter 9: Implementing a Formal System. Conclusion.- Bibliography.- Appendix A: G?del's Theorems.

Détails de conformité du produit

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

Personne responsable dans l'UE

)

Introducing Software Verification with Dafny Language - Sitnikovski, Boro

Avis sur Introducing Software Verification With Dafny Language de Sitnikovski, Boro Format Broché - Livre Informatique

Présentation Introducing Software Verification With Dafny Language de Sitnikovski, Boro Format Broché - Livre Informatique

Présentation Introducing Software Verification With Dafny Language de Sitnikovski, Boro Format Broché
- Livre Informatique