Structured Object-Oriented Formal Language and Method

Name: Structured Object-Oriented Formal Language and Method
Brand: Springer Nature Switzerland AG
SKU: 9783030414177
Price: 277.38 RON
Availability: InStock

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

Autor: Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan

Limbă:

Legare: Carte broșată

Editura: Springer Nature Switzerland AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

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

Informații despre carte

Autor

Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2020

Pagini

364

EAN

9783030414177

Enbook ID

25610006

Editura

Springer Nature Switzerland AG

Greutate

575

Dimensiuni

155 x 235 x 21

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Structured Object-Oriented Formal Language and Method

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Memoirs of the Court of George IV. 1820-1830 (Vol 1) From the Original Family Documents

Illuminated

Outdoor Girls in a Winter Camp

Career Book 4: 16 Career-readiness Strategies for Parents of College Students With Special Needs

Lessons from the Laundry: Noticing God in the Routines of Life

Essentials Engineering Mathematics

Madison Square Garden: The History of New York City's Most Famous Arena

Clienții care au cumpărat această carte au mai cumpărat și

Software Propietario Versus Software Libre

Notice Biographique Sur M. Le Comte Henri de Brimont

Stanley el explorador de África

Rechtsprechung kaufmännischer Schiedsgerichte. Bd. 6

Le Piège photographique