La descrizione operazionale dei linguaggi di programmazione. Un'introduzione
- Editore:
Franco Angeli
- Collana:
- Informatica EDP
- Data di Pubblicazione:
- 1 dicembre 1999
- EAN:
9788846407986
- ISBN:
8846407989
- Pagine:
- 160
Acquistabile con la
Descrizione La descrizione operazionale dei linguaggi di programmazione. Un'introduzione
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.
€ 23.00
Disponibilità immediata
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti