Structured object-oriented formal language and method : 10th international workshop, SOFL+MSVL 2020 : Singapore, March 1, 2021 : revised selected papers.

• Material Type: 図書
• ISBN: 9783030774738 paperback; 3030774732
• ISBN (error code): 9783030774745 ebook
• ISSN (series): 0302-9743
• Title: Structured object-oriented formal language and method : 10th international workshop, SOFL+MSVL 2020 : Singapore, March 1, 2021 : revised selected papers.
• Series Title: Lecture Notes in Computer Science ; 12723
• Author Heading: SOFL+MSVL (Workshop) (10th : 2020 : Online); Xue, Jinyun.
• Publication, Distribution, etc.: Cham, Switzerland : Springer (出版)
• Publication Date: [2021]
• Publication Date (W3CDTF): 2021
• Extent: viii, 204 pages
• Other physical details: illustrations (black and white)
• Size: 24 cm.
• Additional Title: Mar 2021.
• Place of Publication (Country Code): CH
• Text Language Code: eng
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: Software engineering--Congresses.; Computer programming--Congresses.; Parallel programming (Computer science)--Congresses.; Object-oriented programming languages--Congresses.; Object-oriented methods (Computer science)--Congresses.; Formal methods (Computer science)--Congresses.; Structured programming--Congresses.
• DDC: 005.13
• NDLC: M17
• Target Audience: 一般
• Note (General): Revised selected papers.; Held online.
• Note (Bibliography): Includes bibliographical references and author index.
• Note (Additional Physical Form Available): Also published electronically.
• Holding library: 国立国会図書館
• Call No.: M17-23-212
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 032568481; http://id.ndl.go.jp/bib/032568481
• OCLC No.: 1263792417; https://www.worldcat.org/oclc/1263792417
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 215