Concrete SemanticsWydawnictwo: Springer Nature Data wydania: 03/12/2014 ISBN: 9783319105420 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
329.03 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
FM 2006: Formal MethodsWydawnictwo: Springer Nature Data wydania: 08/08/2006 Wydanie: Pierwsze ISBN: 9783540372165 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
762.36 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Isabelle/HOLWydawnictwo: Springer Nature Data wydania: 31/07/2003 ISBN: 9783540459491 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
383.87 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Term Rewriting and All ThatWydawnictwo: Cambridge University Press Data wydania: 05/08/1999 Wydanie: Pierwsze ISBN: 9781316098752 Forma publikacji: eBook: Reflowable eTextbook (ePub)
|
334.51 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Concrete Semantics: With Isabelle/HOLWydawnictwo: Springer, Berlin ISBN: 9783319105413 Forma publikacji: książka w twardej oprawie
|
Zapytaj o ten produkt
|
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783540643012 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Isabelle/HOL: A Proof Assistant for Higher-Order LogicWydawnictwo: Springer, Berlin ISBN: 9783540433767 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Concrete Semantics: With Isabelle/HOLWydawnictwo: Springer, Berlin ISBN: 9783319357591 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|