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 136 b
55.39 € inkl. MwSt.
50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Reasoned Schemer Friedman / Buch Broschur
common.buy 51.59 €
Seasoned Schemer Friedman / Buch Broschur
common.buy 57.09 €
Top
Little Schemer Matthias Felleisen / Buch Broschur
common.buy 51.59 €
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 €
The awk Programming Language Brian Kernighan / Buch Broschur
common.buy 36.89 €
Structure and Interpretation of Computer Programs H Abelson / Buch Broschur
common.buy 86.49 €

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 49.09 €
Haskell Road to Logic, Maths and Programming Kees Doets / Buch Broschur
common.buy 27.69 €
Making Medical Decisions for the Profoundly Mentally Disabled N.L. Cantor / Buch Hardcover
common.buy 12.19 €
Top
Japanese Tattoos Yori Moriarty / Buch Hardcover
common.buy 24.29 €
Popular Fiction by Women 1660-1730 Backscheider / Buch Broschur
common.buy 155.49 €
We Never Learn, Vol. 2 Taishi Tsutsui / Buch Broschur
common.buy 8.09 €
Top
Dessert Person Claire Saffitz / Buch Hardcover
common.buy 28.09 €
Top
One Piece, Vol. 94 Eiichiro Oda / Buch Broschur
common.buy 10.29 €
Squishmallows Official Collectors' Guide Squishmallows / Buch Hardcover
common.buy 15.59 €
Top
Halo Encyclopedia Microsoft / Buch Hardcover
common.buy 39.69 €
All the Horses of Iceland Sarah Tolmie / Buch Broschur
common.buy 11.19 €
Top
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 2 Mo Xiang Tong Xiu / Buch Broschur
common.buy 15.29 €
Top
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 4 Mo Xiang Tong Xiu / Buch Broschur
common.buy 15.29 €
Top
The Art of Doing Science and Engineering Richard Hamming / Buch Hardcover
common.buy 28.19 €
Top Demnächst
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 13 Shirotaka / Buch Broschur
common.buy 13.59 €
Top
Mob Psycho 100 Volume 7 ONE / Buch Broschur
common.buy 10.39 €
Pokémon Primers: Shapes Book, 4 Simcha Whitehill / Buch Leporello
common.buy 11.19 €
Top
Kingdom of the Wicked Kerri Maniscalco / Buch Broschur
common.buy 9.59 €
Creative Haven Fairy Gardens Coloring Book Marty Noble / Buch Broschur
common.buy 5.59 €
Top
Gut and Physiology Syndrome Natasha Campbell-McBride / Buch Broschur
common.buy 28.19 €
Top
Jolly Phonics Pupil Book 1 Sue Lloyd / Buch Broschur
common.buy 6.59 €
Top
This Winter Alice Oseman / Buch Broschur
common.buy 8.39 €
Top
Harry Potter and the Philosopher's Stone Joanne K. Rowling / Buch Hardcover
common.buy 39.29 €
Top
Persona 5, Vol. 4 Hisato Murasaki / Buch Broschur
common.buy 10.29 €

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?