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 €
Sbíráme chladné zbraně Třetí říše 1. díl Thomas M. Johnson / Libro Rigido
common.buy 32.79 €
Raglan-Shirts häkeln Veronika Hug / Libro In brossura
common.buy 11.69 €

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 49.09 €
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 €
Popular Fiction by Women 1660-1730 Backscheider / Libro In brossura
common.buy 155.49 €
I migliori
Japanese Tattoos Yori Moriarty / Libro Rigido
common.buy 24.29 €
We Never Learn, Vol. 2 Taishi Tsutsui / Libro In brossura
common.buy 8.09 €
I migliori
One Piece, Vol. 94 Eiichiro Oda / Libro In brossura
common.buy 10.29 €
I migliori
Dessert Person Claire Saffitz / Libro Rigido
common.buy 28.09 €
Walking with God John Eldredge / Libro In brossura
common.buy 16.49 €
I migliori
The Usborne First Thousand Words In English Heather Amery / Libro In brossura
common.buy 8.49 €
I migliori
Reinventing Your Life Jeffrey E. Young / Libro In brossura
common.buy 18.89 €
I migliori
The House on Mango Street Sandra Cisneros / Libro In brossura
common.buy 10.29 €
I migliori
How the Mighty Fall Jim Collins / Libro Rigido
common.buy 17.99 €
I migliori Economico
Lost At Sea Bryan Lee O’Malley / Libro Rigido
common.buy 12.59 €
I migliori
Grimm's Complete Fairy Tales Jacob and Wilhelm Grimm / Libro Rigido
common.buy 21.89 €
I migliori
Guards! Guards! Terry Pratchett / Libro Rigido
common.buy 14.99 €
I migliori
Untethered Soul Michael A Singer / Libro Rigido
common.buy 20.39 €
I migliori
Wind-up Train Fiona Watt / Libro Leporello
common.buy 22.39 €
Star Wars Art: Posters Drew Struzan / Libro Rigido
common.buy 60.59 €
I migliori
Red Queen Victoria Aveyard / Libro In brossura
common.buy 12.29 €
I migliori
On Suicide Émile Durkheim / Libro In brossura
common.buy 14.69 €
I migliori
Pride and Prejudice Jane Austen / Libro In brossura
common.buy 8.09 €
Egyptian Mythology Pinch / Libro In brossura
common.buy 20.49 €
Synchronicity C G Jung / Libro In brossura
common.buy 36.89 €

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?