The Vienna Development Method
Subtitle: The Meta-Language (Lecture Notes in Computer Science)
Contributors: D. Bjorner (Editor); C.B. Jones (Editor)
Edition: 1 edition
Publisher: Springer
Published: June 23, 1978
Language: eng
Format: Paperback
Number of pages: 404
ISBN-13: 9783540087663
Subjects: Logic; Logic Design; Questions & Answers; Computers : Logic Design; Development; Mathematics / Logic; Mathematics : Logic; Programmiersprache; Reference / Questions & Answers; Sprachphilosophie; Reference