000 04210nam a22007095i 4500
001 978-3-319-68270-9
003 DE-He213
005 20210118150641.0
007 cr nn 008mamaa
008 170927s2017 gw | s |||| 0|eng d
020 _a9783319682709
_9978-3-319-68270-9
024 7 _a10.1007/978-3-319-68270-9
_2doi
050 4 _aQA76.9.L63
050 4 _aQA76.5913
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
072 7 _aUM
_2thema
072 7 _aUYF
_2thema
082 0 4 _a005.1015113
_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 ;
_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 logic.
650 0 _aSoftware engineering.
650 0 _aProgramming languages (Electronic computers).
650 0 _aComputer simulation.
650 0 _aMathematical logic.
650 0 _aAlgorithms.
650 1 4 _aLogics and Meanings of Programs.
_0http://scigraph.springernature.com/things/product-market-codes/I1603X
650 2 4 _aSoftware Engineering.
_0http://scigraph.springernature.com/things/product-market-codes/I14029
650 2 4 _aProgramming Languages, Compilers, Interpreters.
_0http://scigraph.springernature.com/things/product-market-codes/I14037
650 2 4 _aSimulation and Modeling.
_0http://scigraph.springernature.com/things/product-market-codes/I19000
650 2 4 _aMathematical Logic and Formal Languages.
_0http://scigraph.springernature.com/things/product-market-codes/I16048
650 2 4 _aAlgorithm Analysis and Problem Complexity.
_0http://scigraph.springernature.com/things/product-market-codes/I16021
700 1 _aKatoen, Joost-Pieter.
_eeditor.
_0(orcid)0000-0002-6143-1926
_1https://orcid.org/0000-0002-6143-1926
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aLangerak, Rom.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aRensink, Arend.
_eeditor.
_0(orcid)0000-0002-1714-6319
_1https://orcid.org/0000-0002-1714-6319
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319682693
776 0 8 _iPrinted edition:
_z9783319682716
830 0 _aProgramming and Software Engineering ;
_v10500
856 4 0 _uhttps://doi.org/10.1007/978-3-319-68270-9
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c452392
_d452392
942 _cEB
506 _aAvailable to subscribing member institutions only. Доступно лише організаціям членам підписки.
506 _fOnline access from local network of NaUOA.
506 _fOnline access with authorization at https://link.springer.com/
506 _fОнлайн-доступ з локальної мережі НаУОА.
506 _fОнлайн доступ з авторизацією на https://link.springer.com/