Isbn: 9798252171470 - logica per l'informatica: dalla logica del prim'ordine all'indecidibilità (5 resultados)
- Tapa blanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 22,35
Envío por EUR 4,84Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
- Impresión bajo demanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 22,60
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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.…
- Tapa blanda
- Impresión bajo demanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 22,61
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Print on Demand.
- Tapa blanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 2406,05
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
- Impresión bajo demanda
Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 26,34
Envío por EUR 43,02Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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.…
