Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering - David Clarke - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642369452 - March 26, 2013
In case cover and title do not match, the title is correct

Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering

David Clarke

Price
S$ 88

Ordered from remote warehouse

Expected delivery Dec 11 - 24
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering

This book surveys state-of-the-art techniques for dealing with aliasing in object-oriented programming, presenting 22 papers on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages and visions.

523 pages, 134 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 26, 2013
ISBN13 9783642369452
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 523
Dimensions 156 × 234 × 26 mm   ·   725 g
Language German  
Editor Clarke, David
Editor Noble, James
Editor Wrigstad, Tobias
Show all

More by David Clarke

See all of David Clarke ( e.g. Paperback Book , Hardcover Book , Book , CD and 12" )