This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scientists that span the breadth of Pnueli’s scientific work, with a focus on the development and the application of formal methods.
Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science)
📄 Viewing lite version
Full site ›
Book Details
PublisherSpringer
ISBN / ASIN3642137539
ISBN-139783642137532
AvailabilityUsually ships in 24 hours
Sales Rank7,837,442
CategoryComputers
MarketplaceUnited States 🇺🇸
Description ▲
More Books in Computers
Windows XP, Vol. 1 (SELECT Series)
View
Internet Searching and Indexing: The Subject Approach
View
Control Problems in Industry: Proceedings from the SIA…
View
Open Source Systems Security Certification
View
Java: Data Structures and Programming
View
User-Centered Web Development
View
Query Processing in Database Systems (Topics in Inform…
View
Fundamentals of SQL Server 2005
View
Dreamweaver CS4: The Missing Manual (Spanish Edition)
View