Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.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 104 b
42.39 € inkl. MwSt.
Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Top
Little Typer Friedman / Buch Broschur
common.buy 69.69 €
Reasoned Schemer Friedman / Buch Broschur
common.buy 52.79 €
Seasoned Schemer Friedman / Buch Broschur
common.buy 58.49 €
Little Schemer Matthias Felleisen / Buch Broschur
common.buy 52.79 €
Top
Art of Computer Programming, The, Volumes 1-4B, Boxed Set Donald Knuth / Buch Hardcover
common.buy 273.19 €
TCP/IP Illustrated, Volume 3 W. Richard Stevens / Buch Broschur
common.buy 66.69 €
Top
The awk Programming Language Brian Kernighan / Buch Broschur
common.buy 36.99 €
Top
Structure and Interpretation of Computer Programs H Abelson / Buch Broschur
common.buy 82.29 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

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

Das könnte Sie auch interessieren

Little Prover Daniel P. Friedman / E-Book Adobe ePub DRM
common.buy 39.01 €
Haskell Road to Logic, Maths and Programming Kees Doets / Buch Broschur
common.buy 23.69 €
Making Medical Decisions for the Profoundly Mentally Disabled N.L. Cantor / Buch Hardcover
common.buy 12.19 €
Top
One Piece, Vol. 94 Eiichiro Oda / Buch Broschur
common.buy 10.29 €
Popular Fiction by Women 1660-1730 Backscheider / Buch Broschur
common.buy 155.49 €
Top
The Elements of Baking Katarina Cermelj / Buch Hardcover
common.buy 27.99 €
Top Demnächst
Dessert Person Claire Saffitz / Buch Hardcover
common.buy 28.49 €
Top
Japanese Tattoos Yori Moriarty / Buch Hardcover
common.buy 23.49 €
We Never Learn, Vol. 2 Taishi Tsutsui / Buch Broschur
common.buy 8.09 €
Top
Mob Psycho 100 Volume 7 ONE / Buch Broschur
common.buy 10.09 €
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 13 Shirotaka / Buch Broschur
common.buy 14.19 €
Top
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 2 Mo Xiang Tong Xiu / Buch Broschur
common.buy 15.89 €
Top
Konosuba: God's Blessing on This Wonderful World!, Vol. 15 (light novel) Natsume Akatsuki / Buch Broschur
common.buy 12.49 €
Top
Halo Encyclopedia Microsoft / Buch Hardcover
common.buy 38.39 €
Top
Everyday Witch Oracle Deborah Blake / Drucksachen Karten
common.buy 21.09 €
Top
Kingdom of the Wicked Kerri Maniscalco / Buch Broschur
common.buy 9.59 €
Top
Creative Haven Fairy Gardens Coloring Book Marty Noble / Buch Broschur
common.buy 5.39 €
Top
Gut and Physiology Syndrome Natasha Campbell-McBride / Buch Broschur
common.buy 27.19 €
Top
Jolly Phonics Pupil Book 1 Sue Lloyd / Buch Broschur
common.buy 6.79 €
Top
This Winter Alice Oseman / Buch Broschur
common.buy 10.49 €
Top
Three Minutes for a Dog Apn Rn Norman DePaul Brown MSPH / Buch Broschur
common.buy 20.59 €
Top
Harry Potter and the Philosopher's Stone Joanne K. Rowling / Buch Hardcover
common.buy 36.69 €
Top
Persona 5, Vol. 4 Hisato Murasaki / Buch Broschur
common.buy 10.29 €
Top Demnächst
BEASTARS, Vol. 7 Paru Itagaki / Buch Broschur
common.buy 11.39 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?