Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Structured Object-Oriented Formal Language and Method

Name: Structured Object-Oriented Formal Language and Method
Brand: Springer
SKU: 40997828
Price: 60.63 EUR
Availability: InStock
Author: Zhenhua Duan
ISBN: 9783030136512

8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Language

English

E-book Adobe ePub DRM

Libristo code: 40997828

Publishers Springer, March 2019

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop... Full description

Libristo code: 40997828

147 b

60.63 €

In stock Immediate digital delivery

Customers also purchased

Gockel, Hinkel und Gackeleia Clemens Brentano

Paperback

16.14 €

Les 13 Coupables G. Simenon

Paperback

9.48 €

48-93 Camilla Bertheau

Adobe ePub DRM

276.07 €

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.