Formal Methods for Distributed System Development (IFIP International Federation for Information Processing)
Contributors: Tommaso Bolognesi (Editor); Diego Latella (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 30, 2000
Language: eng
Format: Hardcover
Number of pages: 424
ISBN-13: 9780792379683
Subjects: General Theory of Computing; Distributed Computer Systems; Formal Language Theory; Computers; Computers - Languages / Programming; Science/Mathematics; Programming - Software Development; Computers / Computer Science; Computers / Programming / Software Development; Computer Science; Management Information Systems; Congresses; Distributed processing; Electronic data processing; Formal methods (Computer scien; Formal methods (Computer science)