Symbolic Execution and Quantitative ReasoningPublisher: Springer Nature Year: 31/05/2022 ISBN: 9783031025518 Publication form: eBook: Fixed Page eTextbook (PDF)
|
164.48 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Formal Aspects of Component SoftwarePublisher: Springer Nature Year: 12/01/2013 ISBN: 9783642358616 Publication form: eBook: Fixed Page eTextbook (PDF)
|
383.87 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected PapersPublisher: Springer, Berlin ISBN: 9783642358609 Publication form: paperback
|
Ask about the product
|
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and SecurityPublisher: Springer, Berlin ISBN: 9783031014239 Publication form: paperback
|
Ask about the product
|
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, ProceedingsPublisher: Springer, Berlin ISBN: 9783642026515 Publication form: paperback
|
Ask about the product
|