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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 902 Ft
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 23 844 Ft
Notice Biographique Sur M. Le Comte Henri de Brimont Sans Auteur / Book Paperback
common.buy 5 218 Ft
Stanley el explorador de África Jon Bilbao / Book Paperback
common.buy 5 597 Ft
Rechtsprechung kaufmännischer Schiedsgerichte. Bd. 6 Kuno Straatmann / Book Paperback
common.buy 15 446 Ft
Le Piège photographique Jean Chevallier / Book Paperback
common.buy 6 711 Ft

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 7 987 Ft
Illuminated Matt Bronleewe / Book Paperback
common.buy 4 996 Ft
Outdoor Girls in a Winter Camp Laura Lee Hope / Book Hardback
common.buy 11 726 Ft
Career Book 4: 16 Career-readiness Strategies for Parents of College Students With Special Needs Jim Hasse / Book Paperback
common.buy 3 956 Ft
Lessons from the Laundry: Noticing God in the Routines of Life Rachel Windham / Book Paperback
common.buy 3 282 Ft
Essentials Engineering Mathematics Alan Jeffrey / Book Hardback
common.buy 106 978 Ft
Madison Square Garden: The History of New York City's Most Famous Arena Charles River Editors / Book Paperback
common.buy 3 956 Ft

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?