Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday /: essays dedicated to José Meseguer on the occasion of his 65th birthday. ([2015])

• Record Type: Book
• Further Information: Note: Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott, (eds.).
• Editors: Martí-Oliet, N (Narciso); Ölveczky, Peter Csaba; Talcott, Carolyn L
• Other Names: Meseguer, José honouree.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (xi, 634 pages), illustrations
• Subjects: 004; Computer science; Computer software -- Development; Computer logic; Computer multitasking; Computer logic; Computer multitasking; Computer science; Computer software -- Development; Mathematical Theory; Mathematics; Physical Sciences & Mathematics; Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Computers -- Programming -- General; Computers -- Programming Languages -- General; Computers -- Software Development & Engineering -- General; Computer programming / software development; Programming & scripting languages: general; Software Engineering; Logic design; Software engineering; Mathematics -- Logic; Mathematical theory of computation; Llibres electrònics; Homenatges; Electronic books
• Languages: English
• ISBNs: 9783319231655; 3319231650
• Related ISBNs: 9783319231648; 3319231642
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed September 3, 2015).
• 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.