48,45 €*
Versandkostenfrei per Post / DHL
Lieferzeit 4-7 Werktage
Example driven: each topic is first presented in pen-and-paper style and then formalised in Lean
Starts at a very elementary level and ends with examples from current research
Aims for human-readable code and includes a variety of exercises
Introduction.- 1 The Lean Proof Assistant.- 2 Basic Examples.- 3 Design Choices.- 4 Abstraction and Prototyping.
Erscheinungsjahr: | 2022 |
---|---|
Fachbereich: | Grundlagen |
Genre: | Mathematik, Medizin, Naturwissenschaften, Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Inhalt: |
vi
147 S. 1 s/w Illustr. 147 p. 1 illus. |
ISBN-13: | 9783031146480 |
ISBN-10: | 3031146484 |
Sprache: | Englisch |
Einband: | Kartoniert / Broschiert |
Autor: | Löh, Clara |
Auflage: | 1st edition 2022 |
Hersteller: |
Springer Nature Switzerland
Springer International Publishing |
Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
Maße: | 235 x 155 x 9 mm |
Von/Mit: | Clara Löh |
Erscheinungsdatum: | 25.09.2022 |
Gewicht: | 0,276 kg |
Example driven: each topic is first presented in pen-and-paper style and then formalised in Lean
Starts at a very elementary level and ends with examples from current research
Aims for human-readable code and includes a variety of exercises
Introduction.- 1 The Lean Proof Assistant.- 2 Basic Examples.- 3 Design Choices.- 4 Abstraction and Prototyping.
Erscheinungsjahr: | 2022 |
---|---|
Fachbereich: | Grundlagen |
Genre: | Mathematik, Medizin, Naturwissenschaften, Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Inhalt: |
vi
147 S. 1 s/w Illustr. 147 p. 1 illus. |
ISBN-13: | 9783031146480 |
ISBN-10: | 3031146484 |
Sprache: | Englisch |
Einband: | Kartoniert / Broschiert |
Autor: | Löh, Clara |
Auflage: | 1st edition 2022 |
Hersteller: |
Springer Nature Switzerland
Springer International Publishing |
Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
Maße: | 235 x 155 x 9 mm |
Von/Mit: | Clara Löh |
Erscheinungsdatum: | 25.09.2022 |
Gewicht: | 0,276 kg |