Bild 1 von 1
Programmnachwe
Artikelzustand:
Versand:
Standort: Sparks, Nevada, USA
Lieferung:
Lieferung zwischen Sa, 1. Jun und Do, 6. Jun nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
- 98,5% positive Bewertungen
Angemeldet als gewerblicher Verkäufer
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:285243455169
Artikelmerkmale
- Artikelzustand
- Book Title
- Program Proofs
- Publication Date
- 2023-03-07
- Pages
- 496
- ISBN
- 9780262546232
- Publication Year
- 2023
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- Program Proofs
- Item Height
- 1in
- Item Length
- 9in
- Publisher
- MIT Press
- Item Width
- 7in
- Item Weight
- 27.1 Oz
- Number of Pages
- 496 Pages
Über dieses Produkt
Product Information
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
Product Identifiers
Publisher
MIT Press
ISBN-10
026254623x
ISBN-13
9780262546232
eBay Product ID (ePID)
11057234486
Product Key Features
Publication Name
Program Proofs
Format
Trade Paperback
Language
English
Publication Year
2023
Type
Textbook
Number of Pages
496 Pages
Dimensions
Item Length
9in
Item Height
1in
Item Width
7in
Item Weight
27.1 Oz
Additional Product Features
Lc Classification Number
Qa76.76.V47l45 2023
Table of Content
Preface ix Notes for Teachers xv 0. Introduction 1 Part 0. Learning the Ropes 1. Basics 9 2. Making It Formal 25 3. Recursion and Termination 63 4. Inductive Datatypes 83 5. Lemmas and Proofs 95 Part 1. Functional Programs 6. Lists 137 7. Unary Numbers 161 8. Sorting 175 9. Abstraction 189 10. Data-Structure Invariants 207 Part 2. Imperative Programs 11. Loops 235 12. Recursive Specifications, Iterative Programs 257 13. Arrays and Searching 275 14. Modifying Arrays 321 15. In-situ Sorting 337 16. Objects 351 17. Dynamic Heap Data Structures 387 A. Dafny Syntax Cheat Sheet 427 B. Boolean Algebra 433 C. Answers to Select Exercises 445 References 459 Index 467
Topic
Programming Languages / General, General, Programming / Microsoft, Compilers
Lccn
2022-047223
Dewey Decimal
005.14
Intended Audience
Trade
Dewey Edition
23
Illustrated
Yes
Genre
Computers, Mathematics
Artikelbeschreibung des Verkäufers
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:285243455169
Verpackung und Versand
Artikelstandort:
Sparks, Nevada, USA
Versand nach:
Albanien, Andorra, Angola, Anguilla, Antigua und Barbuda, Argentinien, Armenien, Aruba, Aserbaidschan, Australien, Bahamas, Bahrain, Bangladesch, Belgien, Belize, Benin, Bermuda, Bhutan, Bolivien, Bosnien und Herzegowina, Botsuana, Brunei Darussalam, Bulgarien, Burkina Faso, Burundi, Chile, China, Costa Rica, Côte d'Ivoire (Elfenbeinküste), Demokratische Republik Kongo, Deutschland, Dominikanische Republik, Dschibuti, Dänemark, Ecuador, El Salvador, Eritrea, Estland, Fidschi, Finnland, Frankreich, Gabun, Gambia, Georgien, Ghana, Gibraltar, Grenada, Griechenland, Grönland, Guatemala, Guinea, Guyana, Haiti, Honduras, Hongkong, Indien, Indonesien, Irland, Island, Israel, Italien, Jamaika, Japan, Jemen, Jordanien, Kaimaninseln, Kambodscha, Kamerun, Kanada, Kapverdische Inseln, Kasachstan, Katar, Kenia, Kirgisistan, Kiribati, Kolumbien, Kuwait, Laos, Lesotho, Lettland, Libanon, Liechtenstein, Litauen, Luxemburg, Macau, Madagaskar, Malawi, Malaysia, Malediven, Mali, Malta, Marokko, Mauretanien, Mauritius, Mazedonien, Mexiko, Moldawien, Monaco, Mongolei, Montenegro, Montserrat, Mosambik, Namibia, Nauru, Nepal, Neuseeland, Nicaragua, Niederlande, Niger, Norwegen, Oman, Pakistan, Panama, Papua-Neuguinea, Paraguay, Peru, Philippinen, Polen, Portugal, Republik Kongo, Republik Kroatien, Ruanda, Rumänien, Salomonen, Sambia, Samoa (Westsamoa), San Marino, Saudi-Arabien, Schweden, Schweiz, Senegal, Serbien, Seychellen, Sierra Leone, Simbabwe, Singapur, Slowakei, Slowenien, Spanien, Sri Lanka, St. Kitts und Nevis, St. Lucia, St. Vincent und die Grenadinen, Suriname, Swasiland, Südafrika, Südkorea, Tadschikistan, Taiwan, Tansania, Thailand, Togo, Tonga, Trinidad und Tobago, Tschad, Tschechische Republik, Tunesien, Turkmenistan, Turks- und Caicosinseln, Türkei, USA, Uganda, Ungarn, Uruguay, Usbekistan, Vanuatu, Vatikan, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Wallis und Futuna, Zentralafrikanische Republik, Zypern, Ägypten, Äquatorialguinea, Äthiopien, Österreich
Ausgeschlossen:
APO/FPO, Afghanistan, Alaska/Hawaii, Algerien, Barbados, Belarus, Brasilien, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Guinea-Bissau, Irak, Liberia, Libyen, Martinique, Neukaledonien, Nigeria, Russische Föderation, Réunion, US-Protektorate, Ukraine, Venezuela
| Verpackung und Versand | Nach | Service | Lieferung*Siehe Lieferhinweise |
|---|---|---|---|
| Kostenloser Versand | USA | Standard Shipping | Lieferung zwischen Sa, 1. Jun und Do, 6. Jun nach 43230 |
| US $5,50 (ca. CHF 5,03) | USA | Expedited Shipping | Lieferung zwischen Do, 30. Mai und Sa, 1. Jun nach 43230 |
| Bearbeitungszeit |
|---|
| Der Verkäufer verschickt den Artikel innerhalb von 2 Werktagen nach Zahlungseingang. |
| Steuern |
|---|
| Verkäufer berechnet Steuern in |
Mehrwertsteuer für diesen Artikel #285243455169
Mehrwertsteuer für diesen Artikel #285243455169
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
| Bundesstaat | Steuersatz für Sales Tax |
|---|
Rücknahmebedingungen
| Frist für Kontaktaufnahme mit dem Verkäufer nach Erhalt Artikels: | Rückerstattung erfolgt in folgender Form: | Rücksendung |
|---|---|---|
| 30 Tage | Geld zurück | Käufer zahlt Rückversand |
Der Käufer trägt die Rücksendekosten.
| Rücknahmebedingungen im Detail |
|---|
| Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (460'241)
l***e (738)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
thank you
o***t (977)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Very pleased with purchase. A book about Benedict XVl. The Mystery of Evil and the End of Days. Good reading. The condition of the book was
excellent. Very pleased. Everything went well no
problems. Thank you so much. It didn't take very
long to receive it. A very satisfied customer.
o***4 (55)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Book was in very good condition.