國立高雄大學圖資館 |

Language: English

Back

Correct system designsymposium in ho...

Meyer, Roland.

Correct system designsymposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Correct system designedited by Roland Meyer, Andre Platzer, Heike Wehrheim.
Reminder of title:	symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
other author:	Meyer, Roland.
Published:	Cham :Springer International Publishing :2015.
Description:	xii, 279 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Formal methods (Computer science)
Online resource:	http://dx.doi.org/10.1007/978-3-319-23506-6
ISBN:	9783319235066$q(electronic bk.)

Correct system designsymposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
Correct system designsymposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /[electronic resource] :edited by Roland Meyer, Andre Platzer, Heike Wehrheim. - Cham :Springer International Publishing :2015. - xii, 279 p. :ill., digital ;24 cm. - Lecture notes in computer science,93600302-9743 ;. - Lecture notes in computer science ;4891..

This book is dedicated to Professor Ernst--Rudiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rudiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rudiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.

ISBN: 9783319235066$q(electronic bk.)

Standard No.: 10.1007/978-3-319-23506-6doiSubjects--Topical Terms:

277520
Formal methods (Computer science)

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

Correct system designsymposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
LDR:01821nmm a2200337 a 4500 001 476595
003 DE-He213
005 20160420164847.0
006 m d
007 cr nn 008maaau
008 160526s2015 gw s 0 eng d
020 $a 9783319235066$q(electronic bk.)
020 $a 9783319235059$q(paper)
024 7 $a 10.1007/978-3-319-23506-6 $2 doi
035 $a 978-3-319-23506-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67
072 7 $a UM $2 bicssc
072 7 $a UYF $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a COM036000 $2 bisacsh
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.F67 $b C824 2015
245 0 0 $a Correct system design $h [electronic resource] : $b symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings / $c edited by Roland Meyer, Andre Platzer, Heike Wehrheim.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a xii, 279 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9360
520 $a This book is dedicated to Professor Ernst--Rudiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rudiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rudiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.
650 0 $a Formal methods (Computer science) $3 277520
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 252959
700 1 $a Meyer, Roland. $3 731280
700 1 $a Platzer, Andre. $3 492115
700 1 $a Wehrheim, Heike. $3 279443
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-23506-6
950 $a Computer Science (Springer-11645)