Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Structured Object-Oriented Formal Language and Method Huaikou Miao

Structured Object-Oriented Formal Language and Method

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

Autor: Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
Język: Angielski
Oprawa: Miękka
Wydawca: Springer Nature Switzerland AG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42 zł
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop...

Informacje o książce

Autor
Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2020
strony
364
EAN
9783030414177
Enbook ID
25610006
Wydawca
Springer Nature Switzerland AG
Waga
575
Wymiary
155 x 235 x 21

Pełny opis

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.

Możesz być zainteresowany

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

Richard Plantage Buckingham and Chandos
84.59 zł

Illuminated

Matt Bronleewe
51.10 zł

Outdoor Girls in a Winter Camp

Laura Lee Hope
126.26 zł

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

Jim Hasse
42.44 zł

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

Rachel Windham
35.14 zł

Essentials Engineering Mathematics

Alan Jeffrey
1 158.24 zł

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

Charles River Editors
42.44 zł

Klienci, którzy kupili tę książkę, kupili również

Software Propietario Versus Software Libre

Gladys Rodríguez
252.83 zł

Notice Biographique Sur M. Le Comte Henri de Brimont

Sans Auteur
56.26 zł

Stanley el explorador de África

Jon Bilbao
64.93 zł

Rechtsprechung kaufmännischer Schiedsgerichte. Bd. 6

Kuno Straatmann
179.13 zł

Le Piège photographique

Jean Chevallier
77.78 zł