Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Little Prover

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Little Prover Carl Eastlund
Libristo kod: 09392623
Nakladnici MIT Press Ltd, srpanj 2015
An introduction to writing proofs about computer programs, written in an accessible question-and-ans...
? points 128 b
53.20 €
50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

Do 30 dana za povrat

Kupci su kupili i

Reasoned Schemer Friedman / Knjiga Meki uvez
common.buy 50.05 €
Seasoned Schemer Friedman / Knjiga Meki uvez
common.buy 55.32 €
Little Schemer Matthias Felleisen / Knjiga Meki uvez
common.buy 50.05 €
Top
Art of Computer Programming, The, Volumes 1-4B, Boxed Set Donald Knuth / Knjiga Tvrdi uvez
common.buy 261.56 €
TCP/IP Illustrated, Volume 3 W. Richard Stevens / Knjiga Meki uvez
common.buy 63.84 €
The awk Programming Language Brian Kernighan / Knjiga Meki uvez
common.buy 35.36 €
Top
Structure and Interpretation of Computer Programs H Abelson / Knjiga Meki uvez
common.buy 79.65 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Little Prover
Autor Carl Eastlund
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 248
EAN 9780262527958
ISBN 9780262527958
Libristo kod 09392623
Nakladnici MIT Press Ltd
Težina 472
Dimenzije 179 x 231 x 16

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Mobile & handheld device programming / Apps programming
Computing & Information Technology > Computer programming / software engineering > Web programming
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Little Prover Daniel P. Friedman / E-knjiga Adobe ePub DRM
common.buy 44.78 €
Making Medical Decisions for the Profoundly Mentally Disabled N.L. Cantor / Knjiga Tvrdi uvez
common.buy 11.85 €
Haskell Road to Logic, Maths and Programming Kees Doets / Knjiga Meki uvez
common.buy 25.22 €
Popular Fiction by Women 1660-1730 Backscheider / Knjiga Meki uvez
common.buy 150.79 €
We Never Learn, Vol. 2 Taishi Tsutsui / Knjiga Meki uvez
common.buy 7.69 €
Top
One Piece, Vol. 94 Eiichiro Oda / Knjiga Meki uvez
common.buy 9.72 €
Top
Japanese Tattoos Yori Moriarty / Knjiga Tvrdi uvez
common.buy 23.10 €
Top
Dessert Person Claire Saffitz / Knjiga Tvrdi uvez
common.buy 26.64 €
Top
The Elements of Baking Katarina Cermelj / Knjiga Tvrdi uvez
common.buy 25.33 €
Top
Halo Encyclopedia Microsoft / Knjiga Tvrdi uvez
common.buy 37.89 €
Top Pripremamo
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 13 Shirotaka / Knjiga Meki uvez
common.buy 12.86 €
Top
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 2 Mo Xiang Tong Xiu / Knjiga Meki uvez
common.buy 14.68 €
Top
Mob Psycho 100 Volume 7 ONE / Knjiga Meki uvez
common.buy 9.92 €
Pokémon Primers: Shapes Book, 4 Simcha Whitehill / Knjiga Leporelo
common.buy 10.63 €
Top
Everyday Witch Oracle Deborah Blake / Tiskanica Karte
common.buy 19.45 €
Top
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 4 Mo Xiang Tong Xiu / Knjiga Meki uvez
common.buy 14.48 €
Top
Kingdom of the Wicked Kerri Maniscalco / Knjiga Meki uvez
common.buy 12.15 €
Top
Creative Haven Fairy Gardens Coloring Book Marty Noble / Knjiga Meki uvez
common.buy 5.36 €
Top
Gut and Physiology Syndrome Natasha Campbell-McBride / Knjiga Meki uvez
common.buy 26.85 €
Top
Jolly Phonics Pupil Book 1 Sue Lloyd / Knjiga Meki uvez
common.buy 6.37 €
Top
This Winter Alice Oseman / Knjiga Meki uvez
common.buy 10.33 €
Top
Harry Potter and the Philosopher's Stone Joanne K. Rowling / Knjiga Tvrdi uvez
common.buy 37.18 €
Top
Persona 5, Vol. 4 Hisato Murasaki / Knjiga Meki uvez
common.buy 9.72 €
Top
BEASTARS, Vol. 7 Paru Itagaki / Knjiga Meki uvez
common.buy 10.63 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?