Consolidated Ada reference manual. Language and standard libraries. International standard ISO/ IEC 8652/1995(E) with technical corrigendum 1
From MaRDI portal
Publication:5952660
DOI10.1007/3-540-45340-7zbMath0979.68007OpenAlexW2308249096MaRDI QIDQ5952660
No author found.
Publication date: 21 January 2002
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-45340-7
Theory of programming languages (68N15) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)
Related Items (8)
Some reversing orbits for a rattleback model ⋮ Non-symmetric low-index solutions for a symmetric boundary value problem ⋮ Formal communication elimination and sequentialization equivalence proofs for distributed system models ⋮ A survey on standards for real-time distribution middleware ⋮ Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions ⋮ A Hopf bifurcation in the planar Navier-Stokes equations ⋮ Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs ⋮ Some symmetric boundary value problems and non-symmetric solutions
Uses Software
This page was built for publication: Consolidated Ada reference manual. Language and standard libraries. International standard ISO/ IEC 8652/1995(E) with technical corrigendum 1
