Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
ModelEd, testEd, trustEdessays dedic...
~
Katoen, Joost-Pieter.
ModelEd, testEd, trustEdessays dedicated to Ed Brinksma on the occasion of his 60th birthday /
Record Type:
Electronic resources : Monograph/item
Title/Author:
ModelEd, testEd, trustEdedited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink.
Reminder of title:
essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
other author:
Katoen, Joost-Pieter.
Published:
Cham :Springer International Publishing :2017.
Description:
xii, 391 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Formal methods (Computer science)
Online resource:
https://doi.org/10.1007/978-3-319-68270-9
ISBN:
9783319682709$q(electronic bk.)
ModelEd, testEd, trustEdessays dedicated to Ed Brinksma on the occasion of his 60th birthday /
ModelEd, testEd, trustEd
essays dedicated to Ed Brinksma on the occasion of his 60th birthday /[electronic resource] :edited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink. - Cham :Springer International Publishing :2017. - xii, 391 p. :ill., digital ;24 cm. - Lecture notes in computer science,105000302-9743 ;. - Lecture notes in computer science ;4891..
Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications.
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.
ISBN: 9783319682709$q(electronic bk.)
Standard No.: 10.1007/978-3-319-68270-9doiSubjects--Topical Terms:
277520
Formal methods (Computer science)
LC Class. No.: QA76.9.F67
Dewey Class. No.: 004.0151
ModelEd, testEd, trustEdessays dedicated to Ed Brinksma on the occasion of his 60th birthday /
LDR
:01878nmm a2200361 a 4500
001
558360
003
DE-He213
005
20190618081411.0
006
m d
007
cr nn 008maaau
008
191212s2017 gw s 0 eng d
020
$a
9783319682709$q(electronic bk.)
020
$a
9783319682693$q(paper)
024
7
$a
10.1007/978-3-319-68270-9
$2
doi
035
$a
978-3-319-68270-9
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.9.F67
072
7
$a
UM
$2
bicssc
072
7
$a
COM051000
$2
bisacsh
072
7
$a
UM
$2
thema
072
7
$a
UYF
$2
thema
082
0 4
$a
004.0151
$2
23
090
$a
QA76.9.F67
$b
M689 2017
245
0 0
$a
ModelEd, testEd, trustEd
$h
[electronic resource] :
$b
essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
$c
edited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink.
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2017.
300
$a
xii, 391 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
10500
490
1
$a
Programming and software engineering
505
0
$a
Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications.
520
$a
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.
650
0
$a
Formal methods (Computer science)
$3
277520
650
0
$a
Computer science
$x
Mathematics.
$3
181991
650
1 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
274102
650
2 4
$a
Simulation and Modeling.
$3
273719
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Algorithm Analysis and Problem Complexity.
$3
273702
700
1
$a
Katoen, Joost-Pieter.
$3
308078
700
1
$a
Langerak, Rom.
$3
841037
700
1
$a
Rensink, Arend.
$3
279580
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
830
0
$a
Programming and software engineering.
$3
821998
856
4 0
$u
https://doi.org/10.1007/978-3-319-68270-9
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
ALL
電子館藏
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
000000170492
電子館藏
1圖書
電子書
EB QA76.9.F67 M689 2017 2017
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
https://doi.org/10.1007/978-3-319-68270-9
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login