Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday /: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. (2019)

• Record Type: Book
• Further Information: Note: Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese.
• Editors: Boreale, Michele; Corradini, Flavio; Loreti, Michele; Pugliese, Rosario
• Contents: Homage from Friends.- Observational Semantics.- Coordination Models and Languages.- Logics and Types.- Distributed Systems Modelling.- Security.
• Publisher Details: Cham : Springer
• Publication Date: 2019
• Copyright Date: 2019
• Extent: 1 online resource (498 pages)
• Subjects: Computer science; Logic design; Software engineering; Computer network architectures; Computer Communication Networks; Computers -- Software Development & Engineering -- General; Computers -- Programming Languages -- General; Computers -- Programming -- General; Computers -- Information Technology; Computers -- Hardware -- Network Hardware; Software Engineering; Programming & scripting languages: general; Computer programming / software development; Systems analysis & design; Network hardware
• Languages: English
• ISBNs: 9783030214852
• Related ISBNs: 9783030214845
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.