[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Little Prover

Sprache EnglischEnglisch
Buch Broschur
Buch Little Prover Carl Eastlund
Libristo-Code: 09392623
Verlag MIT Press Ltd, Juli 2015
An introduction to writing proofs about computer programs, written in an accessible question-and-ans...
? points 136 b
54.37 € inkl. MwSt.
Externes Lager Wir versenden in 3-5 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

TOP
Berserk Deluxe Volume 1 Kentaro Miura / Hardcover
common.buy 45.39 €
TOP
Normal People Sally Rooney / Broschur
common.buy 9.68 €
TOP
Six of Crows: Collector's Edition Leigh Bardugo / Hardcover
common.buy 19.36 €
TOP
Building a StoryBrand Donald Miller / Broschur
common.buy 14.42 €
TOP
Floral One Line a Day: A Five-Year Memory Book Yao Cheng / Terminbuch
common.buy 12.90 €
TOP
English Vocabulary in Use Pre-intermediate and Intermediate Book with Answers Stuart Redman / Broschur
common.buy 30.86 €
TOP
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24 Shirotaka / Broschur
common.buy 14.72 €
TOP
Rebecca Daphne Du Maurier / Broschur
common.buy 12.80 €
TOP
One Piece, Vol. 94 Eiichiro Oda / Broschur
common.buy 11.59 €
TOP
Japanese Tattoos Yori Moriarty / Hardcover
common.buy 24.81 €
TOP
The Shadows Between Us Tricia Levenseller / Hardcover
common.buy 17.24 €
TOP
The Rational Male - Positive Masculinity Rollo Tomassi / Broschur
common.buy 21.38 €
TOP
Persona 5, Vol. 4 / Broschur
common.buy 10.18 €
TOP
Inspired by Nature Hans Blomquist / Hardcover
common.buy 27.64 €
TOP
Walking with God John Eldredge / Broschur
common.buy 19.77 €
Everyday Witch Oracle Deborah Blake / Karten
common.buy 24.41 €

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.

Informationen zum Buch

Vollständiger Name Little Prover
Autor Carl Eastlund
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 248
EAN 9780262527958
ISBN 9780262527958
Libristo-Code 09392623
Verlag MIT Press Ltd
Gewicht 472
Abmessungen 179 x 231 x 16

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > App-Programmierung, Programmierung für Mobil-Geräte
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Webprogrammierung
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto