Leveraging Applications of Formal Methods, Verification and Validation. Adapt…
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which too…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19759-8
- Collation
- xiii, 474p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Lev
Leveraging Applications of Formal Methods, Verification and Validation. Adapt…
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which too…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19759-8
- Collation
- xiii, 474p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.11 Lev
Leveraging Applications of Formal Methods, Verification and Validation. Pract…
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which too…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- xiii, 424p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437
Search Result
Found 3 from your keywords: Author : Steffen, Bernhard
Query took 0.00103 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography