La descrizione operazionale dei linguaggi di programmazione. Un'introduzione

di Cosimo Laneve

Scrivi una recensione

Disponibile in
5 giorni lavorativi

Prezzo solo online:

€ 23,00

Aggiungi alla Lista Desideri

Articolo acquistabile con 18App e Carta del Docente

Aggiungi al carrello Prenota e ritira Verifica disponibilità in Negozio

Descrizione

La semantica formale dei linguaggi di programmazione è di solito omessa nei manuali di riferimento per privilegiare le più semplici spiegazioni intuitive, sebbene sia indispensabile per chiunque voglia verificare proprietà di programmi o comprendere il significato in modo rigoroso. Questo libro intende offrire un'introduzione completa alla descrizione della semantica operazionale dei linguaggi di programmazione secondo la quale un programma è inteso come la modifica che la sua esecuzione apporta ai dati da esso utilizzati. Il testo copre gli aspetti principali di un linguaggio di programmazione ad alto livello come Pascal o C, spiegando chiaramente concetti quali variabile, dichiarazione, comando, procedura e ricorsione.

Dopo aver letto il libro La descrizione operazionale dei linguaggi di programmazione. Un'introduzione di Cosimo Laneve ti invitiamo a lasciarci una Recensione qui sotto: sarà utile agli utenti che non abbiano ancora letto questo libro e che vogliano avere delle opinioni altrui. L’opinione su di un libro è molto soggettiva e per questo leggere eventuali recensioni negative non ci dovrà frenare dall’acquisto, anzi dovrà spingerci ad acquistare il libro in fretta per poter dire la nostra ed eventualmente smentire quanto commentato da altri, contribuendo ad arricchire più possibile i commenti e dare sempre più spunti di confronto al pubblico online.