Cover image not available

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday

Publication Data

Title Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday
Contributors Zhiming Liu, Jim Woodcock, Huibiao Zhu, Jifeng He
Publisher Springer
Publication date 2013
Publication location Heidelberg
Language English

Topics

Computer programming :: Congresses
Formal methods (Computer science) :: Congresses
Software engineering :: Congresses

Catalogue Data

OBNB ID GBB375772
ISBN 10 3642396984
ISBN 13 9783642396984
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 xii, 411 pages
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday. ISBN 9783642396984. Published by Springer in 2013. Publication and catalogue information, links to buy online and reader comments.