| 000 | 03196nam a22006375i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-68270-9 | ||
| 003 | DE-He213 | ||
| 005 | 20240730201322.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 170927s2017 sz | s |||| 0|eng d | ||
| 020 |
_a9783319682709 _9978-3-319-68270-9 |
||
| 024 | 7 |
_a10.1007/978-3-319-68270-9 _2doi |
|
| 050 | 4 | _aQA75.5-76.95 | |
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aCOM014000 _2bisacsh |
|
| 072 | 7 |
_aUYA _2thema |
|
| 082 | 0 | 4 |
_a004.0151 _223 |
| 245 | 1 | 0 |
_aModelEd, TestEd, TrustEd _h[electronic resource] : _bEssays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday / _cedited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink. |
| 250 | _a1st ed. 2017. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017. |
|
| 300 |
_aXII, 391 p. 115 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v10500 |
|
| 505 | 0 | _aModeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications. | |
| 520 | _aThis 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 |
_aComputer science. _99832 |
|
| 650 | 0 |
_aSoftware engineering. _94138 |
|
| 650 | 0 |
_aCompilers (Computer programs). _93350 |
|
| 650 | 0 |
_aComputer simulation. _95106 |
|
| 650 | 0 |
_aMachine theory. _9166673 |
|
| 650 | 0 |
_aAlgorithms. _93390 |
|
| 650 | 1 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
| 650 | 2 | 4 |
_aSoftware Engineering. _94138 |
| 650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
| 650 | 2 | 4 |
_aComputer Modelling. _9166674 |
| 650 | 2 | 4 |
_aFormal Languages and Automata Theory. _9166675 |
| 650 | 2 | 4 |
_aAlgorithms. _93390 |
| 700 | 1 |
_aKatoen, Joost-Pieter. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9166676 |
|
| 700 | 1 |
_aLangerak, Rom. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9166677 |
|
| 700 | 1 |
_aRensink, Arend. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9166678 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9166679 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319682693 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319682716 |
| 830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v10500 _9166680 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-68270-9 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c96463 _d96463 |
||