Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Structured Object-Oriented Formal Language and Method

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

Language EnglishEnglish
Book Paperback
Book Structured Object-Oriented Formal Language and Method Huaikou Miao
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
? points 125 b
51.69 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Software Propietario Versus Software Libre Gladys Rodríguez / Book Paperback
common.buy 61.51 €
Notice Biographique Sur M. Le Comte Henri de Brimont Sans Auteur / Book Paperback
common.buy 13.65 €
Stanley el explorador de África Jon Bilbao / Book Paperback
common.buy 15.77 €
Rechtsprechung kaufmännischer Schiedsgerichte. Bd. 6 Kuno Straatmann / Book Paperback
common.buy 43.60 €
Le Piège photographique Jean Chevallier / Book Paperback
common.buy 18.91 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Structured Object-Oriented Formal Language and Method
Author Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
Language English
Binding Book - Paperback
Date of issue 2020
Number of pages 364
EAN 9783030414177
Libristo code 25610006
Publishers Springer Nature Switzerland AG
Weight 575
Dimensions 155 x 235 x 21

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Memoirs of the Court of George IV. 1820-1830 (Vol 1) From the Original Family Documents Richard Plantage Buckingham and Chandos / Book Paperback
common.buy 20.53 €
Illuminated Matt Bronleewe / Book Paperback
common.buy 14.05 €
Outdoor Girls in a Winter Camp Laura Lee Hope / Book Hardback
common.buy 30.75 €
Career Book 4: 16 Career-readiness Strategies for Parents of College Students With Special Needs Jim Hasse / Book Paperback
common.buy 10.31 €
Lessons from the Laundry: Noticing God in the Routines of Life Rachel Windham / Book Paperback
common.buy 8.59 €
Essentials Engineering Mathematics Alan Jeffrey / Book Hardback
common.buy 281.77 €
Madison Square Garden: The History of New York City's Most Famous Arena Charles River Editors / Book Paperback
common.buy 10.31 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account