Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Ada 2005 reference manual : language and standard libraries, international standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / / edited by S. Tucker Taft [and four others]
| Ada 2005 reference manual : language and standard libraries, international standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / / edited by S. Tucker Taft [and four others] |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2006] |
| Descrizione fisica | 1 online resource (XXIX, 765 p.) |
| Disciplina | 005.133 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Ada (Computer program language) |
| ISBN |
1-280-86402-8
9786610864027 3-540-69336-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section 1: General -- Section 1: General -- Section 2: Lexical Elements -- Section 3: Declarations and Types -- Section 4: Names and Expressions -- Section 5: Statements -- Section 6: Subprograms -- Section 7: Packages -- Section 8: Visibility Rules -- Section 9: Tasks and Synchronization -- Section 10: Program Structure and Compilation Issues -- Section 11: Exceptions -- Section 12: Generic Units -- Section 13: Representation Issues -- The Standard Libraries -- Annex A (normative): Predefined Language Environment -- Annex B (normative): Interface to Other Languages -- Annex C (normative): Systems Programming -- Annex D (normative): Real-Time Systems -- Annex E (normative): Distributed Systems -- Annex F (normative): Information Systems -- Annex G (normative): Numerics -- Annex H (normative): High Integrity Systems -- Annex J (normative): Obsolescent Features -- Annex K (informative): Language-Defined Attributes -- Annex L (informative): Language-Defined Pragmas -- Annex M (informative): Summary of Documentation Requirements -- Annex N (informative): Glossary -- Annex P (informative): Syntax Summary -- Annex Q (informative): Language-Defined Entities. |
| Record Nr. | UNINA-9910484912203321 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2006] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada 2005 reference manual : language and standard libraries, international standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / / edited by S. Tucker Taft [and four others]
| Ada 2005 reference manual : language and standard libraries, international standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / / edited by S. Tucker Taft [and four others] |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2006] |
| Descrizione fisica | 1 online resource (XXIX, 765 p.) |
| Disciplina | 005.133 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Ada (Computer program language) |
| ISBN |
1-280-86402-8
9786610864027 3-540-69336-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section 1: General -- Section 1: General -- Section 2: Lexical Elements -- Section 3: Declarations and Types -- Section 4: Names and Expressions -- Section 5: Statements -- Section 6: Subprograms -- Section 7: Packages -- Section 8: Visibility Rules -- Section 9: Tasks and Synchronization -- Section 10: Program Structure and Compilation Issues -- Section 11: Exceptions -- Section 12: Generic Units -- Section 13: Representation Issues -- The Standard Libraries -- Annex A (normative): Predefined Language Environment -- Annex B (normative): Interface to Other Languages -- Annex C (normative): Systems Programming -- Annex D (normative): Real-Time Systems -- Annex E (normative): Distributed Systems -- Annex F (normative): Information Systems -- Annex G (normative): Numerics -- Annex H (normative): High Integrity Systems -- Annex J (normative): Obsolescent Features -- Annex K (informative): Language-Defined Attributes -- Annex L (informative): Language-Defined Pragmas -- Annex M (informative): Summary of Documentation Requirements -- Annex N (informative): Glossary -- Annex P (informative): Syntax Summary -- Annex Q (informative): Language-Defined Entities. |
| Record Nr. | UNISA-996465873503316 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2006] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ada 2012 rationale [[electronic resource] ] : the language -- the standard libraries / / by John Barnes
| Ada 2012 rationale [[electronic resource] ] : the language -- the standard libraries / / by John Barnes |
| Autore | Barnes J. G. P (John Gilbert Presslie) |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XI, 213 p. 3 illus.) |
| Disciplina | 005.133 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Ada (Computer program language)
Programming Languages, Compilers, Interpreters Operating Systems Programming Techniques Software Engineering |
| ISBN | 3-642-45210-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking and Real-Time -- Iterators, Pools, etc -- Overview of changes -- Predefined Library -- Containers -- Epilogue. |
| Record Nr. | UNISA-996465638203316 |
Barnes J. G. P (John Gilbert Presslie)
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ada 2012 rationale [[electronic resource] ] : the language -- the standard libraries / / by John Barnes
| Ada 2012 rationale [[electronic resource] ] : the language -- the standard libraries / / by John Barnes |
| Autore | Barnes J. G. P (John Gilbert Presslie) |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XI, 213 p. 3 illus.) |
| Disciplina | 005.133 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Ada (Computer program language)
Programming Languages, Compilers, Interpreters Operating Systems Programming Techniques Software Engineering |
| ISBN | 3-642-45210-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking and Real-Time -- Iterators, Pools, etc -- Overview of changes -- Predefined Library -- Containers -- Epilogue. |
| Record Nr. | UNINA-9910484231303321 |
|
Barnes J. G. P (John Gilbert Presslie)
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada 95 rationale [[electronic resource] ] : the language - the standard libraries / / edited by John Barnes
| Ada 95 rationale [[electronic resource] ] : the language - the standard libraries / / edited by John Barnes |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XII, 466 p.) |
| Disciplina | 005.13/3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Ada (Computer program language)
Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering |
| ISBN | 3-540-69189-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Evolution of Ada 95 -- Highlights of Ada 95 -- Overview of the Ada language -- Lexical elements -- Types and expressions -- Object oriented programming -- Statements -- Subprograms -- Packages -- Visibility rules -- Tasking -- Program structure and compilation issues -- Exceptions -- Generics -- Representation issues. |
| Record Nr. | UNISA-996465398603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ada and beyond [[electronic resource] ] : software policies for the Department of Defense / / Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council
| Ada and beyond [[electronic resource] ] : software policies for the Department of Defense / / Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council |
| Pubbl/distr/stampa | Washington, D.C., : National Academy Press, 1997 |
| Descrizione fisica | 1 online resource (113 p.) |
| Soggetto topico | Ada (Computer program language) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-19210-0
9786610192106 0-309-58980-0 0-585-00251-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910455761003321 |
| Washington, D.C., : National Academy Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada and beyond [[electronic resource] ] : software policies for the Department of Defense / / Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council
| Ada and beyond [[electronic resource] ] : software policies for the Department of Defense / / Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council |
| Pubbl/distr/stampa | Washington, D.C., : National Academy Press, 1997 |
| Descrizione fisica | 1 online resource (113 p.) |
| Soggetto topico | Ada (Computer program language) |
| ISBN |
1-280-19210-0
9786610192106 0-309-58980-0 0-585-00251-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910778671903321 |
| Washington, D.C., : National Academy Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada and beyond [[electronic resource] ] : software policies for the Department of Defense / / Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council
| Ada and beyond [[electronic resource] ] : software policies for the Department of Defense / / Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council |
| Pubbl/distr/stampa | Washington, D.C., : National Academy Press, 1997 |
| Descrizione fisica | 1 online resource (113 p.) |
| Soggetto topico | Ada (Computer program language) |
| ISBN |
1-280-19210-0
9786610192106 0-309-58980-0 0-585-00251-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910817710103321 |
| Washington, D.C., : National Academy Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada letters : a bimonthly publication of AdaTEC
| Ada letters : a bimonthly publication of AdaTEC |
| Pubbl/distr/stampa | New York, N.Y., : ACM, 1981- |
| Disciplina | 001.64 |
| Soggetto topico | Ada (Computer program language) |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1557-9476 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
ACM SIGAda letters
ACM Ada letters SIGAda letters ACM SIGAda Ada letters Association for Computing Machinery Ada letters |
| Record Nr. | UNISA-996200660403316 |
| New York, N.Y., : ACM, 1981- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ada letters : a bimonthly publication of AdaTEC
| Ada letters : a bimonthly publication of AdaTEC |
| Pubbl/distr/stampa | New York, N.Y., : ACM, 1981- |
| Disciplina | 001.64 |
| Soggetto topico | Ada (Computer program language) |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1557-9476 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
ACM SIGAda letters
ACM Ada letters SIGAda letters ACM SIGAda Ada letters Association for Computing Machinery Ada letters |
| Record Nr. | UNINA-9910375873903321 |
| New York, N.Y., : ACM, 1981- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
