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, 9783540087663
DOI
10.1007/3-540-08766-4
Open Library ID
OL12771260M
Language
english
Format
PDF
Filesize
15 MB (15693226 bytes)
Series
Lecture Notes in Computer Science 61
Edition
1
Pages
384\398
Library
Kingdwarf
Time added
2010-01-07 06:59:20
Mathematical Logic and Formal Languages; Logics an

Similar books