Formal Techniques for Networked and Distributed Systems - FORTE 2002
Contributors: Doron A. Peled (Editor); Moshe Y. Vardi (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 5, 2002
Language: eng
Format: Paperback
Number of pages: 371
ISBN-13: 9783540001416
Subjects: Computer Communications & Networking; Computer Programming; Machine Theory; Electronic data processing; Computers; Networking - General; Formal methods (Computer scien; Distributed Computer Systems; Formal Language Theory; Computers - General Information; Distributed processing; Computer Books: General; Networking - Network Protocols; General; Communication Protocols; Communication Services; Computer Communication; Computers / Networking / General; Concurrent Systems; Distributed Computing; Distributed Systems; Formal methods (Computer science); Computer Bks - General Information; Client-Server Computing - General; Computer Science; Computer network protocols; Congresses
First sentence: There exists a growing interest in including microeconomic concepts into different areas of computer science.