Applied Formal Methods - FM-Trends 98
Subtitle: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science)
Contributors: Dieter Hutter (Editor); Werner Stephan (Editor); Paolo Traverso (Editor); Markus Ullmann (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 29, 1999
Language: eng
Format: Paperback
Number of pages: 377
ISBN-13: 9783540664628
Subjects: High level programming languages; Software engineering; General; Computers - Languages / Programming; Programming - General; Formal Language Theory; Computers; Formal methods (Computer science); Computer Books: Languages; Formal methods (Computer scien; Congresses; Logic Design; Computers / Logic Design; Dependable Systems; Formal Methods; Formal Verification; Model Checking; Software Design; Computer Science