Foundation of Software Science and Computation Structures
Subtitle: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: April 13, 2000
Language: eng
Format: Paperback
Number of pages: 390
ISBN-13: 9783540672579
Subjects: Programming languages; Software Design; Logic Design; Systems Analysis (Computer Science); Computers; Computers - Languages / Programming; Medical / Nursing; Programming - Systems Analysis & Design; Computer Books: General; Programming - Software Development; General; Programming - General; Computers / Logic Design; Software engineering; formal verification; program analysis; program transformation; System analysis; Computer software; Congresses