PakCat catalogue record Structured object-oriented formal language and method By Edited by Duan, Zhenhua Bibliographic details ISBN9783030136505 PublisherSpringer Berlin Heidelberg Publication placeNew York, NY Publication year2019 LanguageEnglish Material typeBook Physical descriptionpages cm