Perspectives of System Informatics
Subtitle: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science)
Contributors: Dines Bjorner (Editor); Manfred Broy (Editor); Alexandre Zamulin (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 11, 2002
Language: eng
Format: Paperback
Number of pages: 548
ISBN-13: 9783540430759
Subjects: Compilers & interpreters; Computer architecture & logic design; Programming languages; Theory Of Computing; General; Algorithms (Computer Programming); Computers; Medical / Nursing; Programming Languages - General; Computer Books: General; Programming - General; Logic Design; Computers / Logic Design; Formal Methods; Logical Foundations; Mathematical Foundations; Program Semantics; Programming Logic; Programming Theory; Computer Science
First sentence: Algebraic specification is one of the most extensively-developed approaches in the formal methods area.