Formal Systems Specification
Subtitle: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)
Contributors: Manfred Broy (Editor); Stephan Merz (Editor); Katharina Spies (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 6, 1996
Language: eng
Format: Paperback
Number of pages: 541
ISBN-13: 9783540619840
Subjects: Systems analysis & design; Programming - Software Development; Logic Design; Computers - General Information; Science/Mathematics; Memory management (Computer sc; Computer Systems; Formal Language Theory; Computers; Electronic data processing; Data Processing - General; Client-Server Computing - General; Networking - General; Computers / Programming / Software Development; Distributed Systems; Formal Specification; Formal Verification; Formale Spezifikation; Formale Verifikation; Memory management (Computer science); Management Information Systems; Computer networks; Distributed processing
First sentence: The problem calls for the specification and verification of a series of components.