000898484 000__ 03411cam\a2200505Ki\4500
000898484 001__ 898484
000898484 005__ 20230306150230.0
000898484 006__ m\\\\\o\\d\\\\\\\\
000898484 007__ cr\nn\nnnunnun
000898484 008__ 190628s2019\\\\sz\a\\\\o\\\\\011\0\eng\d
000898484 020__ $$a9783030223489$$q(electronic book)
000898484 020__ $$a3030223485$$q(electronic book)
000898484 020__ $$z9783030223472
000898484 0248_ $$a10.1007/978-3-030-22
000898484 035__ $$aSP(OCoLC)on1106161888
000898484 035__ $$aSP(OCoLC)1106161888
000898484 040__ $$aLQU$$beng$$erda$$cLQU$$dNOC$$dGW5XE$$dYDXIT$$dUKMGB$$dOCLCF
000898484 049__ $$aISEA
000898484 050_4 $$aQA76.167$$b.M63 2019
000898484 08204 $$a004.01$$223
000898484 08204 $$a005.743
000898484 24500 $$aModels, Mindsets, Meta :$$bThe What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday /$$cTiziana Margaria, Susanne Graf, Kim G. Larsen (eds.).
000898484 264_1 $$aCham, Sswitzerland :$$bSpringer,$$c[2019]
000898484 300__ $$a1 online resource (xv, 431 pages) :$$billustrations.
000898484 336__ $$atext$$btxt$$2rdacontent
000898484 337__ $$acomputer$$bc$$2rdamedia
000898484 338__ $$aonline resource$$bcr$$2rdacarrier
000898484 4901_ $$aLecture notes in computer science ;$$v11200
000898484 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000898484 500__ $$aIncludes author index.
000898484 5050_ $$aIntroduction -- Kiel 1983-87 -- Edinburgh 1987-89 -- Aarhus 1989-90 -- Aachen 1990-93 -- Passau 1993-97 -- Dortmund 1997 - Today.
000898484 506__ $$aAccess limited to authorized users.
000898484 520__ $$aThis Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the establishment of cross-community relationships with the effect to obtain simpler, yet more powerful solutions. He initiated many new lines of research through seminal papers that pioneered various fields, starting with the Concurrency Workbench, a model checking toolbox that significantly influenced the research and development of mode based high assurance systems worldwide. The contributions in this volume reflect the breadth and impact of his work. The introductory paper by the volume editors, the 23 full papers and two personal statements relate to Bernhards research and life. This volume, the talks and the entire B-Day at ISoLA 2018 are a tribute to the first 30 years of Bernhards passion, impact and vision for many facets of computer science in general and for formal methods in particular. Impact and vision include the many roles that formal methods-supported software development should play in education, in industry and in society.
000898484 588__ $$aDescription based on online resource; title from digital title page (viewed on July 23, 2019).
000898484 650_0 $$aComputer science$$xPhilosophy.
000898484 7001_ $$aMargaria-Steffen, Tiziana,$$d1964-$$eeditor.
000898484 7001_ $$aGraf, Susanne,$$eeditor.
000898484 7001_ $$aLarsen, K. G.$$q(Kim G.),$$d1957-$$eeditor.
000898484 7001_ $$aSteffen, Bernhard,$$ehonouree.
000898484 830_0 $$aLecture notes in computer science ;$$v11200.
000898484 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000898484 852__ $$bebk
000898484 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-22348-9$$zOnline Access$$91397441.1
000898484 909CO $$ooai:library.usi.edu:898484$$pGLOBAL_SET
000898484 980__ $$aEBOOK
000898484 980__ $$aBIB
000898484 982__ $$aEbook
000898484 983__ $$aOnline
000898484 994__ $$a92$$bISE