Maude System kitap kapağı
Kitap başlığı:

Maude System

Rewriting, SRI International, Joseph Goguen

Bellum Publishing (2012-05-04 )

Books loader

Omni badge kupun için uygun
ISBN-13:

978-613-6-58761-5

ISBN-10:
6136587610
EAN:
9786136587615
Kitabın dili:
İngilizce
Özet:
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen's OBJ3 implementation of equational logic, but based on rewriting logic rather than order-sorted equational logic, and with a heavy emphasis on powerful metaprogramming based on reflection. Maude modules consists of a term-language plus sets of equations and rewrite-rules. Terms in a rewrite theory are constructed using operators. Operators taking 0 arguments are considered constants, and we construct our term-language by these simple constructs.
Yayınevi:
Bellum Publishing
Websitesi:
http://www.alphascript-publishing.com
Düzenleyen:
Othniel Hermes
Sayfa sayısı:
52
Yayın tarihi:
2012-05-04
Hisse:
Mevcut
Kategori:
İşletim sistemleri, kullanıcı arayüzleri
Fiyat:
29.00 €
Anahtar kelimeler:
Logic, language, Implementation, Rewriting, Emphasis

Books loader

Bültenler

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal CryptoWallet Banka Havalesi

  Alışveriş sepetinde 0 ürün var
Sepeti yenile
Loading frontend
LOADING