Principles of abstract interpretation /

Bibliographic Details
Main Author:	Cousot, Patrick, 1948- (Author)
Corporate Author:	ProQuest (Firm)
Format:	eBook
Language:	English
Published:	Cambridge, Massachusetts : The MIT Press, [2021]
Subjects:	Semantic computing. Abstract data types (Computer science) Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource.
Bibliography:	Includes bibliographical references and index.
ISBN:	9780262361521 (electronic bk.) 0262361523 (electronic bk.)