Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsPublisher: Springer Nature Year: 27/07/2020 Edition: First ISBN: 9789811550546 Publication form: eBook: Reflowable eTextbook (ePub)
|
872.05 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Rigorous State-Based MethodsPublisher: Springer Nature Year: 22/05/2020 Edition: First ISBN: 9783030480776 Publication form: eBook: Reflowable eTextbook (ePub)
|
493.56 PLN
Product available online
Delivery on-line
Add to bookshelf
|
FM 2012: Formal MethodsPublisher: Springer Nature Year: 21/08/2012 Edition: First ISBN: 9783642327599 Publication form: eBook: Fixed Page eTextbook (PDF)
|
466.14 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, ProceedingsPublisher: Springer, Berlin ISBN: 9783642162640 Publication form: paperback
|
Ask about the product
|