Explore: Anna (computer Program Language)
Discover books, insights, and more — all in one place.
Learn more about Anna (computer Program Language) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “anna-%28computer-program-language%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Programming with specifications
By David C. Luckham
“Programming with specifications” Metadata:
- Title: ➤ Programming with specifications
- Author: David C. Luckham
- Language: English
- Number of Pages: Median: 416
- Publisher: Springer-Verlag
- Publish Date: 1990
- Publish Location: New York
“Programming with specifications” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL1976091M
- Library of Congress Control Number (LCCN): 90217560
- All ISBNs: 3540972544 - 0387972544 - 9783540972549 - 9780387972541
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Programming with specifications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Anna: A Language for Annotating Ada Programs
By David C. Luckham
“Anna: A Language for Annotating Ada Programs” Metadata:
- Title: ➤ Anna: A Language for Annotating Ada Programs
- Author: David C. Luckham
- Language: English
- Number of Pages: Median: 143
- Publisher: Springer - Springer-Verlag
- Publish Date: 1987
- Publish Location: New York - Berlin
“Anna: A Language for Annotating Ada Programs” Subjects and Themes:
- Subjects: ➤ ANNA (Computer program language) - Ada (Computer program language) - Ada (Langage de programmation) - Ada - ANNA (Langage de programmation) - ANNA
Edition Identifiers:
- The Open Library ID: OL7443906M - OL2384195M
- Online Computer Library Center (OCLC) ID: 16003886
- Library of Congress Control Number (LCCN): 87013030
- All ISBNs: 0387179801 - 9780387179803
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Anna: A Language for Annotating Ada Programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3ANNA A Language for Annotating Ada Programs
By David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner and Olaf Owe
“ANNA A Language for Annotating Ada Programs” Metadata:
- Title: ➤ ANNA A Language for Annotating Ada Programs
- Authors: David C. LuckhamFriedrich W. von HenkeBernd Krieg-BruecknerOlaf Owe
- Language: English
- Number of Pages: Median: 156
- Publisher: Springer
- Publish Date: 1987
“ANNA A Language for Annotating Ada Programs” Subjects and Themes:
- Subjects: ➤ Computer science - Computer Science - Programming Languages, Compilers, Interpreters - ANNA (Computer program language) - Ada (Computer program language)
Edition Identifiers:
- The Open Library ID: OL9314442M
- All ISBNs: 3540179801 - 9783540179801
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find ANNA A Language for Annotating Ada Programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.