Concrete SemanticsPublisher: Springer Nature Year: 03/12/2014 ISBN: 9783319105420 Publication form: eBook: Fixed Page eTextbook (PDF)
|
329.03 PLN
Product available online
Delivery on-line
Add to bookshelf
|
FM 2006: Formal MethodsPublisher: Springer Nature Year: 08/08/2006 Edition: First ISBN: 9783540372165 Publication form: eBook: Fixed Page eTextbook (PDF)
|
762.36 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Isabelle/HOLPublisher: Springer Nature Year: 31/07/2003 ISBN: 9783540459491 Publication form: eBook: Fixed Page eTextbook (PDF)
|
383.87 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Term Rewriting and All ThatPublisher: Cambridge University Press Year: 05/08/1999 Edition: First ISBN: 9781316098752 Publication form: eBook: Reflowable eTextbook (ePub)
|
334.51 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Concrete Semantics: With Isabelle/HOLPublisher: Springer, Berlin ISBN: 9783319357591 Publication form: paperback
|
Ask about the product
|
Concrete Semantics: With Isabelle/HOLPublisher: Springer, Berlin ISBN: 9783319105413 Publication form: hardback
|
Ask about the product
|
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. ProceedingsPublisher: Springer, Berlin ISBN: 9783540643012 Publication form: paperback
|
Ask about the product
|
Isabelle/HOL: A Proof Assistant for Higher-Order LogicPublisher: Springer, Berlin ISBN: 9783540433767 Publication form: paperback
|
Ask about the product
|