Perspectives of System Informatics
Subtitle: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings (Lecture Notes in Computer Science)
Contributors: Dines Bjorner (Editor); Manfred Broy (Editor); Alexandre V. Zamulin (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 7, 2000
Language: eng
Format: Paperback
Number of pages: 540
ISBN-13: 9783540671022
Subjects: Compilers & interpreters; Programming languages; General; Computers; Computers - Languages / Programming; Science/Mathematics; Programming - General; Logic Design; Programming - Software Development; Computers / Logic Design; Computer Systems; Management Information Systems; Congresses
First sentence: Algebraic specification is one of the most extensively-developed approaches in the formal methods area.