Symbolic Execution and Quantitative ReasoningWydawnictwo: Springer Nature Data wydania: 31/05/2022 ISBN: 9783031025518 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
164.48 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Formal Aspects of Component SoftwareWydawnictwo: Springer Nature Data wydania: 12/01/2013 ISBN: 9783642358616 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
383.87 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783642026515 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected PapersWydawnictwo: Springer, Berlin ISBN: 9783642358609 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and SecurityWydawnictwo: Springer, Berlin ISBN: 9783031014239 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|