×

Found 9 Documents (Results 1–9)

Models: concepts, theory, logic, reasoning and semantics. Essays dedicated to Klaus-Dieter Schewe on the occasion of his 60th birthday. (English) Zbl 1400.68030

Tributes 34. London: College Publications (ISBN 978-1-84890-276-3/pbk). viii, 354 p. (2018).
MSC:  68-06 00B15
PDFBibTeX XMLCite

Abstract state machines, Alloy, B, TLA, VDM, and Z. 5th international conference, ABZ 2016, Linz, Austria, May 23–27, 2016. Proceedings. (English) Zbl 1337.68008

Lecture Notes in Computer Science 9675. Cham: Springer (ISBN 978-3-319-33599-5/pbk; 978-3-319-33600-8/ebook). xxi, 426 p. (2016).
MSC:  68-06 68N01 68Q05 68Q60 00B25
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

Year of Publication

all top 3

Main Field

Biographic Reference

Software