馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Reliable software technologies - Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, proceedings /

Corporate Authors: Ada-Europe International Conference on Reliable Software Technologies Lisbon, Portugal
Group Author: Casimiro, Antonio; Ferreira, Pedro M. Pedro Miguel Frazão F., 1970
Published: Springer,
Publication Dates: [2018]
Call Number: TP311.5-532/A191/2018

Book

2

Cover is for reference only

Ada's legacy /

Main Authors: Hammerman, Robin
Group Author: Russell, Andrew L., 1975
Published: Association for Computing Machinery,
Publication Dates: [2016]
Call Number: K835.616.16/L898H

Book

3

Cover is for reference only

Ada 2012 rationale : the language, the standard libraries /

Main Authors: Barnes, J. G. P. John Gilbert Presslie
Published: Springer,
Publication Dates: [2013]
Call Number: TP312AD/B261

Book

4

Cover is for reference only

HILT'12 : proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts /

Corporate Authors: ACM Conference on High Integrity Language Technology Boston, Mass; SIGAda; SIGAPP; Association for Computing Machinery; ACM Digital Library
Group Author: Brosgol, Ben
Published: Association for Computing Machinery,
Publication Dates: [2012]
Call Number: TP31-532/A849/2012

Book

5

Cover is for reference only

ADA - how can we learn to use it? : Wednesday, 28 March, 1984 /

Corporate Authors: Institution of Electrical Engineers. Professional Group C6 Microprocessor Applications
Published:
Call Number: TP312AD-532/A191/1984

Book

Narrow Search