ENGLISH

The Vienna Development Method: The Meta-Language

By Dines Bjørner , Peter Lucas (auth.) , Cliff B. Jones (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1978
ISBN
3540087664, 0387087664, 9783540087663
DOI
10.1007/3-540-08766-4
Open Library ID
OL10151720M
Language
english
Format
PDF
Filesize
15 MB (15705950 bytes)
Series
Lecture Notes in Computer Science 61
Edition
1
Pages
384\398
Topic
Computers
Time added
2011-06-04 13:46:07
Mathematical Logic and Formal Languages; Logics an

Similar books