Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsWydawnictwo: Springer Nature Data wydania: 27/07/2020 Wydanie: Pierwsze ISBN: 9789811550546 Forma publikacji: eBook: Reflowable eTextbook (ePub)
|
872.05 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Rigorous State-Based MethodsWydawnictwo: Springer Nature Data wydania: 22/05/2020 Wydanie: Pierwsze ISBN: 9783030480776 Forma publikacji: eBook: Reflowable eTextbook (ePub)
|
493.56 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
FM 2012: Formal MethodsWydawnictwo: Springer Nature Data wydania: 21/08/2012 Wydanie: Pierwsze ISBN: 9783642327599 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
466.14 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783642162640 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|