ENGLISH

Towards a Formal Description of Ada

By Dines Bjørner , D. Bjørner , Ole Nybye Oest (auth.) , O. N. Nest (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1980
ISBN
978-3-540-10283-0, 978-3-540-38415-1
DOI
10.1007/3-540-10283-3
Language
english
Format
PDF
Filesize
9 MB (9776958 bytes)
Series
Lecture Notes in Computer Science 98
Edition
1
Pages
546\644
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpretersProgramming Languages

Similar books