Hoppa till sidans huvudinnehåll

Del 11951

Dependable Software Engineering. Theories, Tools, and Applications

5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Häftad, Engelska, 2019

AvNan Guan,Joost-Pieter Katoen,Jun Sun

719 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.

Produktinformation

  • Utgivningsdatum2019-11-10
  • Mått155 x 235 x 9 mm
  • Vikt248 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor139
  • FörlagSpringer Nature Switzerland AG
  • ISBN9783030355395
Hoppa över listan

Du kanske också är intresserad av

Foundations of Probabilistic Programming

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva, Germany) Katoen, Joost-Pieter (RWTH Aachen University, Alexandra (University College London) Silva

Inbunden

999 kr

Formal Methods

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Häftad

1 439 kr