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

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

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 Nature Switzerland AG
SKU: 25610006
Price: 45.49 EUR
Availability: InStock
Author: Huaikou Miao
ISBN: 9783030414177

9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Language

English

Book Paperback

Libristo code: 25610006

Publishers Springer Nature Switzerland AG, February 2020

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

Libristo code: 25610006

111 b

45.49 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Le Piège photographique Jean Chevallier

Paperback

15.19 €

Der Garten als Modell Joachim Wolschke-Bulmahn

Paperback

48.90 €

Rechtsprechung kaufmännischer Schiedsgerichte. Bd. 6 Kuno Straatmann

Paperback

40.00 €

La sabiduría del cristianismo BOIX LLAVERIA

Paperback

14.39 €

Stanley el explorador de África Jon Bilbao

Paperback

12.89 €

Notice Biographique Sur M. Le Comte Henri de Brimont Sans Auteur

Paperback

10.19 €

leyenda de don Juan Tenorio José Zorrilla

Paperback

16.39 €

Software Propietario Versus Software Libre Gladys Rodríguez

Paperback

53.59 €

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.