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:
Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / edited by Rocco De Nicola, Rolf Hennicker.
Lecture Notes in Computer Science,
Lecture notes in computer science,
Main Entry:
Nicola, Rocco De. editor.
Hennicker, Rolf. editor.
SpringerLink (Online service)
Publisher:
Springer International Publishing : Imprint: Springer,
Publication Date:
2015.
Publication Place:
Cham :
ISBN:
9783319155456
Subject:
Computer science.
Computer programming.
Software engineering.
Programming languages (Electronic computers).
computer logic.
Mathematical logic.
Artificial intelligence.
Computer science.
Software engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Series:
Lecture Notes in Computer Science, 8950
Lecture notes in computer science, 8950
Contents:
Homage from Friends -- Logical and Algebraic Foundations -- Algebraic Specifications, Institutions and Rewriting -- Foundations of Software Engineering.- Service-Oriented Systems.- Adaptive and Autonomic Systems.
Related Records:
Springer eBooks
Printed edition: 9783319155449
Cover Image:
Results 1 - 1 of 1
Agency:
Collection:
Item Type:
Status:
Barcode:
Media Type:
JUST Main Library
Electronic Resources
No Circulation
Available Online
-710245
Book