Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays :: ISBN 9783319278094 :: Springer 2016 :: OBNB, the Open British National Bibliography

Publication Data

Title Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
Contributors Hanne Riis Nielson, Flemming Nielson, Christian W. Probst, Chris Hankin, René Rydhof Hansen
Publisher Springer
Publication date 2016
Publication location Cham
Language English

Descriptive Notes

" ... a colloquium was held at the Technical University of Denmark on January 8, 2016, to deliver the Festschrift and presentations"--Preface.

Topics

Computer programming :: Congresses
Logic, Symbolic and mathematical :: Congresses
Calculus :: Congresses
Semantic programming :: Congresses

Catalogue Data

OBNB ID GBB614748
ISBN 10 3319278096
ISBN 13 9783319278094
Type BibliographicResource, Book
Dewey Classification 005.12015113

ISBD

P1053 x, 343 pages
P1042 Includes bibliographical references and author index.

Buy a copy

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

Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. ISBN 9783319278094. Published by Springer in 2016. Publication and catalogue information, links to buy online and reader comments.