Program proofs par leino rustan (30 résultats)
- Couverture souple
Vendeur : Bellwetherbooks, McKeesport, PA, Etats-UnisBellwetherbooks
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Satisfaisant
EUR 17,34
EUR 3,42 expéditionExpédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
paperback. Etat : Good. Crease/bruise to cover and pages. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Bellwetherbooks, McKeesport, PA, Etats-UnisBellwetherbooks
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Très bon
EUR 18,22
EUR 3,42 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
paperback. Etat : Fine. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Big River Books, Powder Springs, GA, Etats-UnisBig River Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 21,80
EUR 3,45 expéditionExpédition nationale : Etats-UnisQuantité disponible : 7 disponible(s)
Etat : very_good. Cover Dust jacket has minimal shelf wear. Book is in Very Good condition. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Big River Books, Powder Springs, GA, Etats-UnisBig River Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 21,80
EUR 3,45 expéditionExpédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Etat : like_new. This book is in Like New condition. It is unused, but has a remainder mark on the edge of the pages. Otherwise it is a new book. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : CampusBear, Coppell, TX, Etats-UnisCampusBear
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 28,10
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
paperback. Etat : Very Good. Item is gently used and does not show any significant wear. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Amnesty Bookshop - Brighton, Brighton, Royaume-UniAmnesty Bookshop - Brighton
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 26,41
EUR 23,31 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Soft cover. Etat : Very Good. Please note that, depending on size and destination, we may request a payment to cover any extra shipping & postage charges. Proceeds to Amnesty International. Abe2624. This item is being sold under the Retail Gift Aid scheme to support Amnesty International UK Section Charitable Trust. Gift Aid ena…bles us to increase the value of donations by 25%. Amnesty International UK Section is acting as an agent selling this item on behalf of one of our Gift Aid Donors. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 56,15
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Academic US, Piscataway, NJ, Etats-UnisAcademic US
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 57,03
EUR 3,45 expéditionExpédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Paperback. Etat : New. Brand new. Excellent customer service. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 73,07
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : new. Paperback. 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.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 styleBuilds up to complex concepts in an incremental mannerComprehensively covers how to write proofs and how to specify and verify both functional programs and imperative programsUses real program text from a real programming language, not psuedo codeFeatures engaging illustrations and hands-on learning exercises "The book shows 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"-- Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 71,94
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Etat : As New. Unread book in perfect condition. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 71,94
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Etat : New. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 68,28
EUR 6,84 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 78,19
Frais de port gratuitsExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : New. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Rarewaves USA, OSWEGO, IL, Etats-UnisRarewaves USA
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 78,31
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Paperback. Etat : New. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 76,33
EUR 3,45 expéditionExpédition nationale : Etats-UnisQuantité disponible : 3 disponible(s)
Etat : New. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 67,74
EUR 17,48 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Etat : New. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 77,48
EUR 17,48 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Etat : As New. Unread book in perfect condition. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-UniTHE SAINT BOOKSTORE
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 83,19
EUR 14,96 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback / softback. Etat : New. New copy - Usually dispatched within 3 working days. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 86,99
EUR 14,57 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Brand New. 496 pages. 9.00x7.00x1.02 inches. In Stock. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : GoldBooks, Denver, CO, Etats-UnisGoldBooks
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 99,83
EUR 4,76 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : new. New Copy. Customer Service Guaranteed. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 92,65
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 3 disponible(s)
Etat : New. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 96,33
EUR 9,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : 10 disponible(s)
Etat : New. 2023. Paperback. . . . . . Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : AussieBookSeller, Truganina, VIC, AustralieAussieBookSeller
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 82,23
EUR 32,01 expéditionExpédition depuis Australie vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : new. Paperback. 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.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 styleBuilds up to complex concepts in an incremental mannerComprehensively covers how to write proofs and how to specify and verify both functional programs and imperative programsUses real program text from a real programming language, not psuedo codeFeatures engaging illustrations and hands-on learning exercises "The book shows 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"-- Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Rarewaves USA United, OSWEGO, IL, Etats-UnisRarewaves USA United
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 80,40
EUR 43,26 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Paperback. Etat : New. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 119,22
EUR 9,09 expéditionExpédition nationale : Etats-UnisQuantité disponible : 10 disponible(s)
Etat : New. 2023. Paperback. . . . . . Books ship from the US and Ireland. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 78,66
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New. K. Rustan M. Leino is a Senior Principal Applied Scientist in the Automated Reasoning Group at Amazon Web Services, an ACM Fellow, an IFIP Fellow, and a recipient of the CAV Award.This comprehensive and highly readable textbook teaches how to . Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Rarewaves.com UK, London, Royaume-UniRarewaves.com UK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 77,96
EUR 75,75 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Paperback. Etat : New. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 89,61
EUR 63,83 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Neuware - 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 - 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. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 87,70
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Program Proofs | K. Rustan M. Leino | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2023 | MIT Press | EAN 9780262546232 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. Leino, Kaleb (illustrateur).
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 165,19
EUR 14,57 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Brand New. 496 pages. 9.00x7.00x1.02 inches. In Stock. Leino, Kaleb (illustrateur).
