ANNA A Language for Annotating Ada Programs View on Open Library

ANNA A Language for Annotating Ada Programs

by David C. Luckham , Friedrich W. von Henke , Bernd Krieg-Brueckner , Olaf Owe

No reviews yet
First published: 1987 1 language ISBN: 9783540179801
Subjects
Computer science Computer Science Programming Languages, Compilers, Interpreters ANNA (Computer program language) Ada (Computer program language)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by David C. Luckham

Event processing for business

Event processing for business

Anna: A Language for Annotating Ada Programs

Anna: A Language for Annotating Ada Prog...

Hardware design and simulation in VAL/VHDL

Hardware design and simulation in VAL/VH...

Programming with specifications

Programming with specifications

You Might Also Like

More in Computer science
2001

2001

Arthur C. Clarke
Les Robots

Les Robots

Isaac Asimov
Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz
Prey

Prey

Michael Crichton
Neuromancer

Neuromancer

William Gibson
Artemis Fowl and the Eternity Code

Artemis Fowl and the Eternity Code

Eoin Colfer