From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement /: Essays Dedicated to Chris Hankin on the Occasion of His Retirement. (2020)

• Record Type: Book
• Further Information: Note: Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan.
• Editors: Di Pierro, Alessandra; Malacaria, Pasquale; Nagarajan, Rajagopal
• Contents: Logic.- Program Analysis.- Security.
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Copyright Date: 2020
• Extent: 1 online resource (293 pages)
• Subjects: Mathematics; Mathematical optimization; Computer communication systems; Architecture, Computer; Natural language processing (Computer science); Computers; Software engineering; Computers -- Hardware -- Network Hardware; Computers -- Information Technology; Computers -- Speech & Audio Processing; Computers -- Computer Science; Computers -- Software Development & Engineering -- General; Network hardware; Systems analysis & design; Natural language & machine translation; Computer science; Software Engineering; Mathematics -- Applied; Optimization
• Languages: English
• ISBNs: 9783030411039
• Related ISBNs: 9783030411022
• 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.