Coverart for item
The Resource Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday, Jens Palsberg (ed.), (electronic resource)

Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday, Jens Palsberg (ed.), (electronic resource)

Label
Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday
Title
Semantics and algebraic specification
Title remainder
essays dedicated to Peter D. Mosses on the occasion of his 60th birthday
Statement of responsibility
Jens Palsberg (ed.)
Contributor
Subject
Genre
Language
eng
Member of
Dewey number
005.1
Illustrations
  • illustrations
  • portraits
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Palsberg, Jens
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary: SL 1-theoretical computer science and general issues
  • Festschrift
Series volume
5700
http://library.link/vocab/subjectName
  • Mosses, Peter
  • Programming languages (Electronic computers)
  • Computer science
  • Logics and Meanings of Programs
  • Artificial Intelligence (incl. Robotics)
  • Symbolic and Algebraic Manipulation
  • Programming Techniques
  • Software Engineering
  • Computer Science
  • Mathematical Logic and Formal Languages
Label
Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday, Jens Palsberg (ed.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn489215765
Dimensions
unknown
Extent
1 online resource (x, 408 p.)
Form of item
online
Isbn
9783642041648
Other physical details
ill., port
Specific material designation
remote
System control number
(OCoLC)489215765
Label
Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday, Jens Palsberg (ed.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn489215765
Dimensions
unknown
Extent
1 online resource (x, 408 p.)
Form of item
online
Isbn
9783642041648
Other physical details
ill., port
Specific material designation
remote
System control number
(OCoLC)489215765

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...