Manuel Clavel
All About Maude - a High-performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic - Lecture Notes in Computer Science Manuel Clavel 2007 edition

Name: All About Maude - a High-performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic - Lecture Notes in Computer Science
Price: 763 CNY
Availability: OutOfStock
Author: Manuel Clavel

价格

元 763

不含税

远程仓调货

预计送达时间年7月10日 - 年7月28日

顾客评价：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

根据欧洲消费者保护法享受14天退换货政策

Trustpilot平台高分认证

添加至iMusic心愿单

All About Maude - a High-performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic - Lecture Notes in Computer Science

Manuel Clavel

2007 edition

Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. This monograph offers a comprehensive account of Maude, a language and system based on rewriting logic.

824 pages, biography

介质类型	图书 Paperback Book (平装胶订图书)
已发行	2007年7月20日
ISBN13	9783540719403
出版商	Springer-Verlag Berlin and Heidelberg Gm
页数	824
商品尺寸	156 × 234 × 41 mm · 1,15 kg
语言	英语