La descrizione operazionale dei linguaggi di programmazione. Un'introduzione
Book (italiano):
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.
|
Quantity
|
|
Buy books online Buy dvd online cd movie
Library Unilibro
Bookshop with a wide catalogue you can buy books online, buy dvd and cd, you can consult university notes, lessons, ebooks and gifts
By Unilibro
|
La descrizione operazionale dei linguaggi di programmazione. Un'introduzione by Laneve Cosimo
La descrizione operazionale dei linguaggi di programmazione. Un'introduzione by Laneve Cosimo Book-La semantica formale dei linguaggi di programmazione è di solito omessa nei manuali di riferimento per privilegiare le più semplici spiegazioni ... , produttore Franco Angeli , genere libro. elaborazione dati
|
|
Buy books online
|
Buy Dvd online
|
Buy Videogame online
|
Buy Moleskine online
|
|
