Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Little Prover

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Little Prover Carl Eastlund
Libristo-code: 09392623
Uitgeverij MIT Press Ltd, juli 2015
An introduction to writing proofs about computer programs, written in an accessible question-and-ans...
? points 136 b
55.97 €
50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Tot 30 dagen retourrecht

Klanten kochten ook

Reasoned Schemer Friedman / Boek Gebonden (paperback)
common.buy 54.36 €
Seasoned Schemer Friedman / Boek Gebonden (paperback)
common.buy 60.02 €
TOP
Little Schemer Matthias Felleisen / Boek Gebonden (paperback)
common.buy 54.36 €
TOP
Art of Computer Programming, The, Volumes 1-4B, Boxed Set Donald Knuth / Boek Gebonden (harde band)
common.buy 260.81 €
TCP/IP Illustrated, Volume 3 W. Richard Stevens / Boek Gebonden (paperback)
common.buy 63.65 €
The awk Programming Language Brian Kernighan / Boek Gebonden (paperback)
common.buy 35.26 €
Structure and Interpretation of Computer Programs H Abelson / Boek Gebonden (paperback)
common.buy 87.40 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Little Prover
Auteur Carl Eastlund
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 248
EAN 9780262527958
ISBN 9780262527958
Libristo-code 09392623
Uitgeverij MIT Press Ltd
Gewicht 472
Afmetingen 179 x 231 x 16

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren voor mobiele en handheld apparaten / apps
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Webprogrammeren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Little Prover Daniel P. Friedman / E-book Adobe ePub DRM
common.buy 46.98 €
Haskell Road to Logic, Maths and Programming Kees Doets / Boek Gebonden (paperback)
common.buy 26.57 €
Making Medical Decisions for the Profoundly Mentally Disabled N.L. Cantor / Boek Gebonden (harde band)
common.buy 11.81 €
TOP
Japanese Tattoos Yori Moriarty / Boek Gebonden (harde band)
common.buy 23.03 €
Popular Fiction by Women 1660-1730 Backscheider / Boek Gebonden (paperback)
common.buy 157.13 €
We Never Learn, Vol. 2 Taishi Tsutsui / Boek Gebonden (paperback)
common.buy 8.18 €
TOP
Dessert Person Claire Saffitz / Boek Gebonden (harde band)
common.buy 26.57 €
TOP
One Piece, Vol. 94 Eiichiro Oda / Boek Gebonden (paperback)
common.buy 10.40 €
Squishmallows Official Collectors' Guide Squishmallows / Boek Gebonden (harde band)
common.buy 14.84 €
TOP
Halo Encyclopedia Microsoft / Boek Gebonden (harde band)
common.buy 37.78 €
All the Horses of Iceland Sarah Tolmie / Boek Gebonden (paperback)
common.buy 10.60 €
TOP
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 2 Mo Xiang Tong Xiu / Boek Gebonden (paperback)
common.buy 14.44 €
TOP
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 4 Mo Xiang Tong Xiu / Boek Gebonden (paperback)
common.buy 14.44 €
TOP
The Art of Doing Science and Engineering Richard Hamming / Boek Gebonden (harde band)
common.buy 26.77 €
TOP Wordt verwacht
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 13 Shirotaka / Boek Gebonden (paperback)
common.buy 13.73 €
TOP
Mob Psycho 100 Volume 7 ONE / Boek Gebonden (paperback)
common.buy 9.89 €
Pokémon Primers: Shapes Book, 4 Simcha Whitehill / Boek Leporello (harmonicaboek)
common.buy 10.60 €
TOP
Kingdom of the Wicked Kerri Maniscalco / Boek Gebonden (paperback)
common.buy 9.08 €
Creative Haven Fairy Gardens Coloring Book Marty Noble / Boek Gebonden (paperback)
common.buy 5.35 €
TOP
Gut and Physiology Syndrome Natasha Campbell-McBride / Boek Gebonden (paperback)
common.buy 26.77 €
TOP
Jolly Phonics Pupil Book 1 Sue Lloyd / Boek Gebonden (paperback)
common.buy 6.66 €
TOP
This Winter Alice Oseman / Boek Gebonden (paperback)
common.buy 7.87 €
TOP
Harry Potter and the Philosopher's Stone Joanne K. Rowling / Boek Gebonden (harde band)
common.buy 37.08 €
TOP
Persona 5, Vol. 4 Hisato Murasaki / Boek Gebonden (paperback)
common.buy 10.40 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken