Produktbild: Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16,2018, Revised Selected Papers, Lecture Notes in Computer Science 11392 – Theoretical Computer Science and General Issues

ISBN: 3030136507
ISBN 13: 9783030136505
Herausgeber: Zhenhua Duan/Shaoying Liu/Cong Tian et al
Verlag: Springer Verlag GmbH
Umfang: viii, 197 S., 74 s/w Illustr., 33 farbige Illustr., 197 p. 107 illus., 33 illus. in color.
Erscheinungsdatum: 09.02.2019
Auflage: 1/2019
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 6255496 Kategorie:

Beschreibung

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …