Structured Object-Oriented Formal Language and Method

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29,2013, Revised Selected Papers, Lecture Notes in Computer Science 8332 – Theoretical Computer Science and General Issues

ISBN: 3319049143
ISBN 13: 9783319049144
Herausgeber: Shaoying Liu/Zhenhua Duan
Verlag: Springer Verlag GmbH
Umfang: x, 193 S., 64 s/w Illustr., 193 p. 64 illus.
Erscheinungsdatum: 11.03.2014
Auflage: 1/2014
Produktform: Kartoniert
Einband: KT

Includes supplementary material: sn.pub/extras

Artikelnummer: 6140278 Kategorie:

Beschreibung

This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application.

Das könnte Ihnen auch gefallen …