Isbn: 9798252171470 - logica per l'informatica: dalla logica del prim'ordine all'indecidibilità (5 risultati)
- Brossura
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 22,32
EUR 4,83 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
- Print on Demand
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 22,63
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. Esiste un linguaggio che gira sotto ogni riga di codice, che determina la solidita di ogni architettura e che separa un semplice programmatore da un vero architetto del software. Quel linguaggio e la Logica Computazionale.Dimentica il codice che funziona "per caso" e i bug inspiegabili: con decine di esercizi ed esempi pratici, questo libro smonta la complessita dei sistemi formali, traducendo concetti come tautologia, quantificatori e risoluzione in strumenti concreti per ragionare sul tuo codice.Dalla costruzione della tua prima tabella di verita alla dimostrazione automatica di teoremi, passando per la logica dei predicati per modellare sistemi complessi, imparerai a usare la logica come il linguaggio universale per descrivere e verificare il comportamento del software. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…
- Brossura
- Print on Demand
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 22,64
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Print on Demand.
- Brossura
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 2409,72
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
- Print on Demand
Da: CitiRetail, Stevenage, Regno UnitoCitiRetail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 26,31
EUR 42,97 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. Esiste un linguaggio che gira sotto ogni riga di codice, che determina la solidita di ogni architettura e che separa un semplice programmatore da un vero architetto del software. Quel linguaggio e la Logica Computazionale.Dimentica il codice che funziona "per caso" e i bug inspiegabili: con decine di esercizi ed esempi pratici, questo libro smonta la complessita dei sistemi formali, traducendo concetti come tautologia, quantificatori e risoluzione in strumenti concreti per ragionare sul tuo codice.Dalla costruzione della tua prima tabella di verita alla dimostrazione automatica di teoremi, passando per la logica dei predicati per modellare sistemi complessi, imparerai a usare la logica come il linguaggio universale per descrivere e verificare il comportamento del software. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…
