Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Software, services, and systems = es...
~
Nicola, Rocco.
Linked to FindBook
Google Book
Amazon
博客來
Software, services, and systems = essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Software, services, and systems/ edited by Rocco Nicola, Rolf Hennicker.
Reminder of title:
essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
other author:
Nicola, Rocco.
Published:
Cham :Springer International Publishing : : 2015.,
Description:
xiv, 694 p. :ill., digital ;24 cm.
[NT 15003449]:
Homage from Friends -- Logical and Algebraic Foundations -- Algebraic Specifications, Institutions and Rewriting -- Foundations of Software Engineering -- Service-Oriented Systems -- Adaptive and Autonomic Systems.
Contained By:
Springer eBooks
Subject:
Software engineering - Congresses. -
Online resource:
http://dx.doi.org/10.1007/978-3-319-15545-6
ISBN:
9783319155456 (electronic bk.)
Software, services, and systems = essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
Software, services, and systems
essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /[electronic resource] :edited by Rocco Nicola, Rolf Hennicker. - Cham :Springer International Publishing :2015. - xiv, 694 p. :ill., digital ;24 cm. - Lecture notes in computer science,89500302-9743 ;. - Lecture notes in computer science ;5353..
Homage from Friends -- Logical and Algebraic Foundations -- Algebraic Specifications, Institutions and Rewriting -- Foundations of Software Engineering -- Service-Oriented Systems -- Adaptive and Autonomic Systems.
This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universitat in Munich, Germany. The volume is a reflection, with gratitude and admiration, on Professor Wirsing's life highly creative, remarkably fruitful and intellectually generous life. It also gives a snapshot of the research ideas that in many cases have been deeply influenced by Professor Wirsing's work. The book consists of six sections. The first section contains personal remembrances and expressions of gratitude from friends of Professor Wirsing. The remaining five sections consist of groups of scientific papers written by colleagues and collaborators of Professor Wirsing, which have been grouped and ordered according to his scientific evolution. More specifically, the papers are concerned with logical and algebraic foundations; algebraic specifications, institutions and rewriting; foundations of software engineering; service oriented systems; and adaptive and autonomic systems.
ISBN: 9783319155456 (electronic bk.)
Standard No.: 10.1007/978-3-319-15545-6doiSubjects--Topical Terms:
1243492
Software engineering
--Congresses.
LC Class. No.: QA76.758 / .S64 2015
Dewey Class. No.: 005.1
Software, services, and systems = essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
LDR
:02356nmm a2200325 a 4500
001
1997817
003
DE-He213
005
20151022133026.0
006
m d
007
cr nn 008maaau
008
151112s2015 gw s 0 eng d
020
$a
9783319155456 (electronic bk.)
020
$a
9783319155449 (paper)
024
7
$a
10.1007/978-3-319-15545-6
$2
doi
035
$a
978-3-319-15545-6
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.758
$b
.S64 2015
072
7
$a
UMZ
$2
bicssc
072
7
$a
COM051230
$2
bisacsh
082
0 4
$a
005.1
$2
23
090
$a
QA76.758
$b
.S681 2015
245
0 0
$a
Software, services, and systems
$h
[electronic resource] :
$b
essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
$c
edited by Rocco Nicola, Rolf Hennicker.
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2015.
300
$a
xiv, 694 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
8950
505
0
$a
Homage from Friends -- Logical and Algebraic Foundations -- Algebraic Specifications, Institutions and Rewriting -- Foundations of Software Engineering -- Service-Oriented Systems -- Adaptive and Autonomic Systems.
520
$a
This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universitat in Munich, Germany. The volume is a reflection, with gratitude and admiration, on Professor Wirsing's life highly creative, remarkably fruitful and intellectually generous life. It also gives a snapshot of the research ideas that in many cases have been deeply influenced by Professor Wirsing's work. The book consists of six sections. The first section contains personal remembrances and expressions of gratitude from friends of Professor Wirsing. The remaining five sections consist of groups of scientific papers written by colleagues and collaborators of Professor Wirsing, which have been grouped and ordered according to his scientific evolution. More specifically, the papers are concerned with logical and algebraic foundations; algebraic specifications, institutions and rewriting; foundations of software engineering; service oriented systems; and adaptive and autonomic systems.
650
0
$a
Software engineering
$v
Congresses.
$3
1243492
650
0
$a
Systems engineering
$v
Congresses.
$3
1245494
650
0
$a
Abstract data types (Computer science)
$3
653888
650
1 4
$a
Computer Science.
$3
626642
650
2 4
$a
Software Engineering.
$3
890874
650
2 4
$a
Logics and Meanings of Programs.
$3
892495
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
891123
650
2 4
$a
Programming Techniques.
$3
892496
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
892517
650
2 4
$a
Artificial Intelligence (incl. Robotics)
$3
890894
700
1
$a
Nicola, Rocco.
$3
907111
700
1
$a
Hennicker, Rolf.
$3
2139179
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
5353.
$x
0302-9743
$3
1274248
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-15545-6
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
Location:
ALL
電子資源
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W9268528
電子資源
01.外借(書)_YB
電子書
EB QA76.758 .S681 2015
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login