LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation
€4.55
Preis bei Onlinekauf
Kostenloser Versand
30 Tage kostenlose Rückgabe
Verkauft und versendet von ftp.internetslayers.com
Wir bemühen uns, Ihnen genaue Produktinformationen anzuzeigen. Hersteller, Lieferanten und andere stellen die hier gezeigten Angaben bereit.
€4.55
Preis bei Onlinekauf
Kostenloser Versand
30 Tage kostenlose Rückgabe
Verkauft und versendet von ftp.internetslayers.com
30 Tage kostenlose Rückgabe Details
Produktdetails
| Artikelnummer | 236848320 | Erscheinungsdatum | 2026/07/10 | Listenpreis | €4.55 | Modellnummer | 236848320 | ||
|---|---|---|---|---|---|---|---|---|---|
| Kategorie | |||||||||
Explore Lean to write mathematically verified software and understand the future of provably correct computation. Read more
| ASIN | B0FXYJZ224 |
|---|---|
| ISBN13 | 979-8271573743 |
| Language | English |
| Publisher | Independently published |
| Dimensions | 5.25 x 0.34 x 8 inches |
| Item Weight | 8.2 ounces |
| Print length | 149 pages |
| Publication date | October 25, 2025 |
Korrektur der Produktinformationen
Wenn Sie Unvollständigkeiten oder Fehler in den Produktinformationen auf dieser Seite bemerken, nutzen Sie bitte das Korrekturformular unten.
Korrekturanfrage