La descrizione operazionale dei linguaggi di programmazione. Un'introduzione

di Cosimo Laneve | Franco Angeli 1999

Attualmente non disponibile

A partire da

23,00 €

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.

Dettagli

  • Autore:
  • Editore:
  • Collana:
  • Anno edizione:
  • Cosimo Laneve
  • Franco Angeli
  • Informatica EDP
  • 1999
  • In commercio dal:
  • Pagine:
  • Lingua:
  • EAN:
  • 1 dicembre 1999
  • 160 p.
  • ITA
  • 9788846407986

Ti potrebbe interessare anche

Librerie di Roma | La descrizione operazionale dei linguaggi di programmazione. Un'introduzione