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

1449:-

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

Uppskattad leveranstid 7-11 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

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

    3D Electro-Rotation of Single Cells

    Guido Buonincontri, Liang Huang, Wenhui Wang

    Pocket

    1149:-
  3. bokomslag Chinas Export Miracle

    Chinas Export Miracle

    Noel Tracy, Thomas Chan, Zhu Wenhui

    Pocket

    1009:-
  4. bokomslag Theoretical Aspects of Computing -- ICTAC 2013

    Theoretical Aspects of Computing -- I...

    Zhiming Liu, Jim Woodcock, Huibiao Zhu

    Pocket

    1009:-
  5. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Zongyan Qiu Shengchao Qin

    Pocket

    749:-
  6. bokomslag Unifying Theories of Programming

    Unifying Theories of Programming

    Shengchao Qin

    Pocket

    749:-
  7. bokomslag Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theo...

    Xinyu Feng, Markus Mller-Olm, Zijiang Yang

    Pocket

    919:-
  8. bokomslag Theories of Programming and Formal Methods

    Theories of Programming and Formal Me...

    Zhiming Liu, Jim Woodcock, Huibiao Zhu

    Pocket

    1009:-
  9. bokomslag Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Appli...

    Jim Woodcock Marcel Vincius Medeiros ...

    Pocket

    1009:-
  10. bokomslag Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theo...

    Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang

    Pocket

    1009:-

Andra av samma författare

  1. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Shengchao Qin Yamine Ait-Ameur

    Pocket

    1009:-
  2. bokomslag Software Engineering for Robotics

    Software Engineering for Robotics

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

    Inbunden

    2439:-
  3. bokomslag Software Engineering for Robotics

    Software Engineering for Robotics

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

    Pocket

    2339:-
  4. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Jim Woodcock Jin Song Dong

    Pocket

    1999:-
  5. bokomslag Refinement Techniques in Software Engineering

    Refinement Techniques in Software Eng...

    Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

    Pocket

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

    Automated Technology for Verification...

    Wenhui Zhang Susanne Graf

    Pocket

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

    Verified Software: Theories, Tools, E...

    Jim Woodcock Bertrand Meyer

    Pocket

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

    Domain Modeling and the Duration Calc...

    Chris George, Zhiming Liu, Jim Woodcock

    Pocket

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

    Formal Methods and Hybrid Real-Time S...

    Cliff B Jones, Zhiming Liu, Jim Woodcock

    Pocket

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

    Verified Software: Theories, Tools, E...

    Jim Woodcock Natarajan Shankar

    Pocket

    1009:-