An edition of Towards a Formal Description of Ada (Lecture Notes in Computer Science) (1980)

Towards a formal description of Ada

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Towards a formal description of Ada by edited by D. Bjørner and O. N. Oest.
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
October 4, 2021 | History
Edit
An edition of Towards a Formal Description of Ada (Lecture Notes in Computer Science) (1980)

Towards a formal description of Ada

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
630

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Ada (Computer program language), Ada (computer program language)

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Towards a formal description of Ada
Towards a formal description of Ada
1980, Springer-Verlag
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Bibliography: p. 626-630.

Published in
Berlin
Series
Lecture notes in computer science -- 98

Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Pagination
xii, 630 p.
Number of pages
630

ID Numbers

Open Library
OL14086700M
Internet Archive
towardsformaldes00bjor
ISBN 10
3540102833
OCLC/WorldCat
7299701
Goodreads
5675692

Source records

amazon.com record
Western Washington University MARC record
Internet Archive item record
Internet Archive item record
Better World Books record
harvard_bibliographic_metadata record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
October 4, 2021 Edited by ImportBot import existing book
April 3, 2019 Edited by MARC Bot import existing book
February 26, 2019 Created by MARC Bot import existing book