Welcome
Copyright © SirsiDynix. All rights reserved.
(Build horizon-8.0.1.5407)
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
العربية (السعودية)
English (United States)
Log in
Help
Welcome
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Simple
Advanced
Power
Community Resource
Search History
My List
My Account
Search
Options
Refine
Start Over
Show details
Hide details
Duplicate Items
Add to My List
Print
Sorts and Limits
Sorts:
None
Author
Publication Date
Publisher
Subject
Title
Title:
Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / edited by Jens Palsberg.
Lecture Notes in Computer Science,
Lecture notes in computer science,
Main Entry:
Palsberg, Jens.
SpringerLink (Online service)
Publisher:
Springer Berlin Heidelberg,
Publication Date:
2009.
Publication Place:
Berlin, Heidelberg :
ISBN:
9783642041648
Subject:
Computer science.
Software engineering.
Logic design.
Algebra -- Data processing.
Artificial intelligence.
Computer science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software engineering.
Programming Techniques.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics).
Series:
Lecture Notes in Computer Science, 5700
Lecture notes in computer science, 5700
Related Records:
Springer eBooks
Printed edition: 9783642041631
Cover Image:
Results 1 - 1 of 1
Agency:
Collection:
Call No.:
Item Type:
Status:
Barcode:
Media Type:
JUST Main Library
Electronic Resources
QA76.9.L63
No Circulation
Available Online
-578245
Book