Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Little Prover

Lingua IngleseInglese
Libro In brossura
Libro Little Prover Carl Eastlund
Codice Libristo: 09392623
Casa editrice MIT Press Ltd, luglio 2015
An introduction to writing proofs about computer programs, written in an accessible question-and-ans...
? points 136 b
55.39 €
50% di possibilità Cercheremo nel mondo Quando riceverò il libro?

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Reasoned Schemer Friedman / Libro In brossura
common.buy 51.59 €
Seasoned Schemer Friedman / Libro In brossura
common.buy 57.09 €
I migliori
Little Schemer Matthias Felleisen / Libro In brossura
common.buy 51.59 €
I migliori
Art of Computer Programming, The, Volumes 1-4B, Boxed Set Donald Knuth / Libro Rigido
common.buy 273.19 €
TCP/IP Illustrated, Volume 3 W. Richard Stevens / Libro In brossura
common.buy 66.69 €
The awk Programming Language Brian Kernighan / Libro In brossura
common.buy 36.89 €
Structure and Interpretation of Computer Programs H Abelson / Libro In brossura
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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Little Prover
Autore Carl Eastlund
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2015
Numero di pagine 248
EAN 9780262527958
ISBN 9780262527958
Codice Libristo 09392623
Casa editrice MIT Press Ltd
Peso 472
Dimensioni 179 x 231 x 16

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Programmazione per cellulari e dispositivi mobili / programmazione di app
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Programmazione Web
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Little Prover Daniel P. Friedman / Libro elettronico Adobe ePub DRM
common.buy 48.69 €
Haskell Road to Logic, Maths and Programming Kees Doets / Libro In brossura
common.buy 27.69 €
Making Medical Decisions for the Profoundly Mentally Disabled N.L. Cantor / Libro Rigido
common.buy 12.19 €
We Never Learn, Vol. 2 Taishi Tsutsui / Libro In brossura
common.buy 8.09 €
I migliori
Dessert Person Claire Saffitz / Libro Rigido
common.buy 28.09 €
I migliori
Japanese Tattoos Yori Moriarty / Libro Rigido
common.buy 24.29 €
Popular Fiction by Women 1660-1730 Backscheider / Libro In brossura
common.buy 155.49 €
I migliori
One Piece, Vol. 94 Eiichiro Oda / Libro In brossura
common.buy 10.29 €
Kew Gardener's Guide to Growing Orchids Philip Seaton / Libro Rigido
common.buy 16.89 €
I migliori
Halo Encyclopedia Microsoft / Libro Rigido
common.buy 39.69 €
I migliori In preparazione
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 13 Shirotaka / Libro In brossura
common.buy 13.59 €
All the Horses of Iceland Sarah Tolmie / Libro In brossura
common.buy 11.19 €
I migliori
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 4 Mo Xiang Tong Xiu / Libro In brossura
common.buy 15.49 €
I migliori
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 2 Mo Xiang Tong Xiu / Libro In brossura
common.buy 15.49 €
I migliori
Mob Psycho 100 Volume 7 ONE / Libro In brossura
common.buy 10.39 €
Pokémon Primers: Shapes Book, 4 Simcha Whitehill / Libro Leporello
common.buy 11.19 €
I migliori
Kingdom of the Wicked Kerri Maniscalco / Libro In brossura
common.buy 9.59 €
Creative Haven Fairy Gardens Coloring Book Marty Noble / Libro In brossura
common.buy 5.59 €
I migliori
Gut and Physiology Syndrome Natasha Campbell-McBride / Libro In brossura
common.buy 28.19 €
I migliori
Jolly Phonics Pupil Book 1 Sue Lloyd / Libro In brossura
common.buy 6.59 €
I migliori
This Winter Alice Oseman / Libro In brossura
common.buy 8.39 €
I migliori
Harry Potter and the Philosopher's Stone Joanne K. Rowling / Libro Rigido
common.buy 39.29 €
I migliori
Persona 5, Vol. 4 Hisato Murasaki / Libro In brossura
common.buy 10.29 €
I migliori
BEASTARS, Vol. 7 Paru Itagaki / Libro In brossura
common.buy 11.19 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?