Dependable Software Engineering. Theories, Tools, and Applications 1
bokomslag Dependable Software Engineering. Theories, Tools, and Applications
Data & IT

Dependable Software Engineering. Theories, Tools, and Applications

Shengchao Qin • Jim Woodcock • Wenhui Zhang

Pocket

1149:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-15 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 321 sidor
  • 2021
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
  • Författare: Shengchao Qin, Jim Woodcock, Wenhui Zhang
  • Format: Pocket/Paperback
  • ISBN: 9783030912642
  • Språk: Engelska
  • Antal sidor: 321
  • Utgivningsdatum: 2021-11-14
  • Förlag: Springer Nature Switzerland AG

Du kanske gillar

  1. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Jim Woodcock Jin Song Dong

    Pocket

    1519:-
  2. bokomslag 3D Electro-Rotation of Single Cells

    3D Electro-Rotation of Single Cells

    Guido Buonincontri, Liang Huang, Wenhui Wang

    Pocket

    869:-
  3. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Zongyan Qiu Shengchao Qin

    Pocket

    769:-
  4. bokomslag Chinas Export Miracle

    Chinas Export Miracle

    Noel Tracy, Thomas Chan, Zhu Wenhui

    Pocket

    769:-
  5. bokomslag Theoretical Aspects of Computing -- ICTAC 2013

    Theoretical Aspects of Computing -- I...

    Zhiming Liu, Jim Woodcock, Huibiao Zhu

    Pocket

    769:-
  6. bokomslag Theories of Programming and Formal Methods

    Theories of Programming and Formal Me...

    Zhiming Liu, Jim Woodcock, Huibiao Zhu

    Pocket

    769:-
  7. bokomslag Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Appli...

    Jim Woodcock Marcel Vincius Medeiros ...

    Pocket

    769:-
  8. bokomslag Unifying Theories of Programming and Formal Engineering Methods

    Unifying Theories of Programming and ...

    Zhiming Liu, Jim Woodcock, Huibiao Zhu

    Pocket

    769:-
  9. bokomslag Unifying Theories of Programming

    Unifying Theories of Programming

    Shengchao Qin

    Pocket

    769:-
  10. bokomslag Tóngdào neu Vokabelheft

    Tóngdào neu Vokabelheft

    Lü Tianshu Li Shengchao

    Pocket

    279:-

Andra av samma författare

  1. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Shengchao Qin Yamine Ait-Ameur

    Pocket

    769:-
  2. bokomslag Software Engineering for Robotics

    Software Engineering for Robotics

    Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock

    Inbunden

    1819:-
  3. bokomslag Software Engineering for Robotics

    Software Engineering for Robotics

    Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock

    Pocket

    1819:-
  4. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Jim Woodcock Jin Song Dong

    Pocket

    1519:-
  5. bokomslag Refinement Techniques in Software Engineering

    Refinement Techniques in Software Eng...

    Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

    Pocket

    769:-
  6. bokomslag Automated Technology for Verification and Analysis

    Automated Technology for Verification...

    Wenhui Zhang Susanne Graf

    Pocket

    769:-
  7. bokomslag Verified Software: Theories, Tools, Experiments

    Verified Software: Theories, Tools, E...

    Jim Woodcock Bertrand Meyer

    Pocket

    1519:-
  8. bokomslag Domain Modeling and the Duration Calculus

    Domain Modeling and the Duration Calc...

    Chris George, Zhiming Liu, Jim Woodcock

    Pocket

    769:-
  9. bokomslag Formal Methods and Hybrid Real-Time Systems

    Formal Methods and Hybrid Real-Time S...

    Cliff B Jones, Zhiming Liu, Jim Woodcock

    Pocket

    769:-
  10. bokomslag Verified Software: Theories, Tools, Experiments

    Verified Software: Theories, Tools, E...

    Jim Woodcock Natarajan Shankar

    Pocket

    769:-