Sign-In
Cart
Manuale completo di ADA: Dai fondamenti alla programmazione concorrente: tipi, pacchetti, generici, tasking e contratti con Ada 2022
Paperback
Please select the version of book you would like to purchase.
ISBN13: 9798170074969
Publisher: Independently Published
Published: Aug 26 2026
Pages: 232
Weight: 0.90
Height: 0.49 Width: 7.00 Depth: 10.00
Language: Italian
Publisher: Independently Published
Published: Aug 26 2026
Pages: 232
Weight: 0.90
Height: 0.49 Width: 7.00 Depth: 10.00
Language: Italian
Il manuale italiano più completo sul linguaggio Ada, aggiornato allo standard Ada 2022.
Ada è il linguaggio con cui si scrivono i sistemi di cui ci si deve fidare: avionica, ferrovie, spazio, dispositivi medicali. È anche uno dei linguaggi più formativi che esistano, perché insegna a progettare prima di scrivere e trasforma il compilatore nel vostro più severo - e prezioso - alleato. Questo manuale vi accompagna dai fondamenti fino alla programmazione concorrente e ai contratti, con un percorso graduale interamente in italiano.
Ada è il linguaggio con cui si scrivono i sistemi di cui ci si deve fidare: avionica, ferrovie, spazio, dispositivi medicali. È anche uno dei linguaggi più formativi che esistano, perché insegna a progettare prima di scrivere e trasforma il compilatore nel vostro più severo - e prezioso - alleato. Questo manuale vi accompagna dai fondamenti fino alla programmazione concorrente e ai contratti, con un percorso graduale interamente in italiano.
Un percorso in quattro parti
Il simbolo @ per gli accumulatori, gli aggregati tra parentesi quadre, l'attributo 'Image esteso, le espressioni quantificate nei contratti: le novità dello standard non sono confinate in un capitolo-vetrina, ma integrate dove servono, con la segnalazione delle differenze rispetto alle versioni precedenti.
A chi si rivolge
A chi programma già in un altro linguaggio e vuole scoprire perché Ada resta insuperato dove l'affidabilità non è negoziabile; a studenti e docenti che cercano un testo rigoroso e graduale in italiano; a chi lavora (o vuole lavorare) nei settori safety-critical; a chiunque voglia imparare, una volta per tutte, a far lavorare il compilatore al posto proprio.
Al termine del percorso saprete progettare pacchetti con interfacce pulite, costruire astrazioni con tipi privati e contratti verificabili, scrivere programmi concorrenti senza corse critiche e leggere lo standard senza timore. E avrete costruito, riga per riga, un progetto completo di cui capirete ogni singola decisione.
Un libro pensato per durare
La struttura a doppio uso - percorso graduale da leggere in ordine e riferimento da tenere sulla scrivania - fa sì che il manuale non si esaurisca alla prima lettura: le appendici e il soluzionario lo trasformano in uno strumento di consultazione quotidiana, dal primo Put_Line fino al codice che finirà in produzione.
Aprite il manuale, accendete GNAT: il vostro primo alleato vi aspetta.
- Fondamenti: l'ambiente GNAT, i tipi forti, le strutture di controllo, i sottoprogrammi.
- Strutturazione: array e record, pacchetti e visibilità , tipi accesso, stringhe e file.
- Astrazione: tipi privati, programmazione a oggetti, generici, eccezioni.
- Verso la programmazione professionale: tasking e oggetti protetti, contratti (precondizioni, postcondizioni, invarianti, predicati) e un progetto conclusivo completo: la cassa di un negozio con l'aritmetica decimale esatta dei gestionali.
- Ogni esempio è stato compilato ed eseguito con GNAT e lo standard Ada 2022 (-gnat2022 -gnatwa): niente codice di carta, solo programmi che funzionano davvero.
- 128 esercizi: 48 svolti e commentati nel testo, 80 proposti con tutte le soluzioni verificate nell'appendice finale.
- La sezione Con l'IA in ogni capitolo: prompt pronti per usare gli assistenti artificiali come compagni di studio, e la sottosezione I limiti che vi insegna quando non fidarvi delle loro risposte.
- Box operativi (Nota, Attenzione, Suggerimento) che condensano l'esperienza sul campo: gli errori tipici, le convenzioni della comunità , le scelte professionali.
- Sei appendici di consultazione: riferimento rapido della sintassi, pragma e aspetti, libreria standard essenziale, glossario, risorse per proseguire e il soluzionario completo.
Il simbolo @ per gli accumulatori, gli aggregati tra parentesi quadre, l'attributo 'Image esteso, le espressioni quantificate nei contratti: le novità dello standard non sono confinate in un capitolo-vetrina, ma integrate dove servono, con la segnalazione delle differenze rispetto alle versioni precedenti.
A chi si rivolge
A chi programma già in un altro linguaggio e vuole scoprire perché Ada resta insuperato dove l'affidabilità non è negoziabile; a studenti e docenti che cercano un testo rigoroso e graduale in italiano; a chi lavora (o vuole lavorare) nei settori safety-critical; a chiunque voglia imparare, una volta per tutte, a far lavorare il compilatore al posto proprio.
Al termine del percorso saprete progettare pacchetti con interfacce pulite, costruire astrazioni con tipi privati e contratti verificabili, scrivere programmi concorrenti senza corse critiche e leggere lo standard senza timore. E avrete costruito, riga per riga, un progetto completo di cui capirete ogni singola decisione.
Un libro pensato per durare
La struttura a doppio uso - percorso graduale da leggere in ordine e riferimento da tenere sulla scrivania - fa sì che il manuale non si esaurisca alla prima lettura: le appendici e il soluzionario lo trasformano in uno strumento di consultazione quotidiana, dal primo Put_Line fino al codice che finirà in produzione.
Aprite il manuale, accendete GNAT: il vostro primo alleato vi aspetta.
Also from
Scaramuzzino, Roberto
Manuale completo di R: Dai fondamenti alla programmazione statistica e all'analisi dei dati
Scaramuzzino, Roberto
Paperback
$22.37
Prontuario Comandi Ltspice: Guida rapida a direttive, sorgenti, componenti e funzioni matematiche per la simulazione di circuiti elettronici
Scaramuzzino, Roberto
Paperback
$19.96
Manuale completo di Groovy: Dai fondamenti alla metaprogrammazione sulla JVM, con Spock, Gradle e l'IA
Scaramuzzino, Roberto
Paperback
$20.40
Manuale Completo Di Kotlin: Dai fondamenti al codice idiomatico per JVM, Android e multipiattaforma
Scaramuzzino, Roberto
Paperback
$21.44
Manuale completo di F#: Dal pensiero funzionale alle applicazioni .NET di produzione
Scaramuzzino, Roberto
Paperback
$25.55
Manuale completo di COBOL: Dai fondamenti al mainframe: il linguaggio che fa funzionare il mondo
Scaramuzzino, Roberto
Paperback
$22.03
Le Scritture di Assestamento e la Chiusura dei Conti: Ratei - Risconti - Ammortamenti - Svalutazioni - Chiusura dei conti
Scaramuzzino, Roberto
Paperback
$13.19
Manuale completo di GO: Dai fondamenti alla concorrenza, ai generics e alla programmazione di rete moderna
Scaramuzzino, Roberto
Paperback
$20.03
Manuale completo di SWIFT: Dai fondamenti alla programmazione sicura, espressiva e concorrente
Scaramuzzino, Roberto
Paperback
$23.76
Manuale Completo Di Ruby: Dai fondamenti alla programmazione professionale con Ruby 4
Scaramuzzino, Roberto
Paperback
$23.64
Manuale completo di HTML/CSS: Dai fondamenti al web moderno: struttura, stile e layout
Scaramuzzino, Roberto
Paperback
$20.87
Manuale Completo Di C#: Dai fondamenti alla programmazione moderna con .NET
Scaramuzzino, Roberto
Paperback
$25.30
Manuale completo di GDScript e Godot: Dalle basi del linguaggio allo sviluppo di videogiochi completi con Godot Engine
Scaramuzzino, Roberto
Paperback
$22.98
Manuale completo di Haskell: Pensare per funzioni: dai fondamenti alla programmazione funzionale pura
Scaramuzzino, Roberto
Paperback
$22.63
Manuale completo di Clojure: Dai fondamenti della programmazione funzionale al REPL, alle macro, alla JVM e a ClojureScript
Scaramuzzino, Roberto
Paperback
$20.63
MANUALE COMPLETO DI LISP e SCHEME: Dalle s-expression alle macro: programmare con i due grandi dialetti del Lisp
Scaramuzzino, Roberto
Paperback
$20.83
Manuale completo di Assembly: Dai fondamenti dell'architettura x86-64 alla programmazione di sistema su Linux
Scaramuzzino, Roberto
Paperback
$21.17
Manuale Completo Di Dart E Flutter: Dai fondamenti del linguaggio alla creazione di app multipiattaforma
Scaramuzzino, Roberto
Paperback
$22.70
Manuale completo di VBA: Automazione di Office con macro e programmazione applicata
Scaramuzzino, Roberto
Paperback
$22.93
Manuale completo di Nim: Dai fondamenti alla metaprogrammazione: guida pratica con esercizi svolti e IA
Scaramuzzino, Roberto
Paperback
$20.41
Manuale completo di Solidity: Dai fondamenti dell'EVM agli smart contract sicuri in produzione
Scaramuzzino, Roberto
Paperback
$29.63
Manuale completo di SQL Server e T-SQL: Dai fondamenti del database relazionale alla programmazione T-SQL avanzata
Scaramuzzino, Roberto
Paperback
$19.46
Manuale completo di OCaml: Programmazione funzionale, imperativa e a oggetti dai fondamenti alle applicazioni
Scaramuzzino, Roberto
Paperback
$19.68
Manuale completo di Elm: Dai fondamenti alla Elm Architecture per applicazioni web senza eccezioni a runtime
Scaramuzzino, Roberto
Paperback
$25.66
Manuale completo di Objective-C: Dai fondamenti del C al modello a oggetti e a Foundation, su macOS e con GNUstep
Scaramuzzino, Roberto
Paperback
$20.70
Manuale completo di SCALA: Dai fondamenti alla programmazione funzionale e a oggetti
Scaramuzzino, Roberto
Paperback
$22.24
Manuale completo di Bash e Scripting di Shell: Dai primi comandi all'automazione professionale del sistema
Scaramuzzino, Roberto
Paperback
$22.37
Civil Society Elites in the Italian Third Sector: A Comparative Perspective
Santilli, Cecilia
Scaramuzzino, Roberto
Hardcover
$44.99
Manuale completo di D: Dai fondamenti alla programmazione di sistema produttiva
Scaramuzzino, Roberto
Paperback
$34.50
Manuale completo di VHDL e Verilog: Dai fondamenti della logica digitale alla progettazione e verifica di sistemi digitali su FPGA
Scaramuzzino, Roberto
Paperback
$44.16
Alessandria: La città nata contro l'Impero, tra fortezze, rivoluzioni e industria
Scaramuzzino, Roberto
Paperback
$20.48
Manuale completo di Lua: Dai fondamenti al linguaggio che vive dentro ogni cosa
Scaramuzzino, Roberto
Paperback
$37.92
Also in
Gifts & Stationery General
Go-To Notebook with Mohawk Paper, Midnight Blue Blank: (Blank Notebooks, Simple Notebook, Blue Notebook)
Chronicle Books
Other
$14.99
This Earthly Globe: A Venetian Geographer and the Quest to Map the World
Andrea Di Robilant
Paperback
$10.99
Flow Hive's Book of Bees and Beekeeping: Protect, Enjoy, Harvest
Anderson, Stuart
Anderson, Cedar
Hardcover
$26.59
The Official Pumpkin Spice Café Cookbook: 60 Delicious Dream Harbor Recipes
Gilmore, Laurie
Thomas, Heather
Hardcover
$20.90
The Investor's Odyssey: Resisting the Sirens and Playing the Long Game
Mayer, Christopher W.
Hardcover
$23.70
Brain Games - Sticker by Number: Snoopy (Officially Licensed Peanuts Product)
New Seasons
Brain Games
Publications International Ltd
Paperback
$11.98
Bear Hugs Notecards: (Cute Notecards, Notecards for Friends, Artistic Notecards with Envelopes)
Chronicle Books
Other
$16.95
Brain Games - Sticker by Number: Flowers & Nature Stained Glass (28 Images to Sticker)
New Seasons
Publications International Ltd
Brain Games
Paperback
$16.98
3-Color Botanical Cyanotype Kit: Beginner-Friendly Solar Printing Kit for DIY Nature Art
Rafferty, Sarah Bourne
Hardcover
$23.74
Once Upon a Cookbook: A Treasury of Recipes Inspired by Timeless Children's Books
Taylor, Bryton
Hardcover
$22.49
Learning Japanese Hiragana and Katakana: A Workbook for Self-Study
Henshall, Kenneth G.
Takagaki, Tetsuo
Paperback
$13.25
Brain Games - Sticker by Number - Vintage: Animals (28 Images to Sticker)
Brain Games
Publications International Ltd
New Seasons
Paperback
$16.98
Brain Games - Sticker by Number: Gilded Gardens (24 Images to Sticker): Includes 2 Foil Sticker Sheets to Complete Each Image!
Brain Games
Publications International Ltd
New Seasons
Paperback
$19.98
Rebecca Yarros's Fourth Wing: I Survived Threshing Stickers - Sticker Set of 4
Out of Print
Paperback
$12.00
Brain Games - Sticker by Number: Be Calm (28 Images to Sticker)
Brain Games
Publications International Ltd
New Seasons
Paperback
$16.98
Book Club Bar: Literary-Inspired Drink Recipes for Your Next Great Read
Esten, Nat
Neary, Erin
Hardcover
$22.50
Faith Sprout The 66 Roots Journey: Understand Every Book of the Bible Without Getting Lost
Ross, John
Paperback
$20.39
After Dinner Amusements: Truth or Dare for Couples: 50 Questions and Challenges
Chronicle Books
Other
$8.95
The Three Books of Enoch, Plus the Enoch Portions of the Book of Jasher
Ben Elisha, Ishmael
Paperback
$13.14
Tesla & The Cabbage Patch Kids: Exploring the lost Empire of Tartaria and the Reset of 1776
Anderson, Guy Peter
Paperback
$23.99
Brain Games - Sticker by Number: Cozy Capybaras: Includes a Foil Sticker Sheet to Complete Each Image!
New Seasons
Brain Games
Publications International Ltd
Paperback
$11.98
Brain Games - Sticker by Number: Enchanted Wonders (36 Images to Sticker): Includes Foil Stickers!
Brain Games
Publications International Ltd
New Seasons
Paperback
$22.98
The World of Agatha Christie: And Then There Were None a 1000-Piece Jigsaw Puzzle: Illustrated by Ruby Ash
Agatha Christie Ltd, Agatha Christie
Other
$23.99
Brain Games - Search and Sticker: Animals (for Kids Ages 3-6)
Little Grasshopper Books
Publications International Ltd
Paperback
$9.48
Brain Games - To Go - 3-In-1: Word Search, Sudoku, Crosswords
Publications International Ltd
Brain Games
Paperback
$9.48
Brain Games - Sticker by Number: Whimsical World (24 Images to Sticker): Includes 2 Foil Sticker Sheets to Complete Each Image!
New Seasons
Brain Games
Publications International Ltd
Paperback
$19.98
Brain Games - Sticker by Number Compact Edition: Hello Spring 7x7 Inches Easter Basket Filler, Travel Size Activity Book for Adults & Kids 7+
New Seasons
Brain Games
Publications International Ltd
Paperback
$9.48