14.0%OFF
Download App
| >> | LShop | >> | Book | >> | Reference, Informati... | >> | Encyclopaedias & Ref... | >> | Cafeobj Report: The ... |
14.0%OFF
Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
-
ISBN
:
9789810235130
-
Publisher
:
World Scientific Publishing Company
-
Subject
:
Encyclopaedias & Reference Works
-
Binding
:
Hardcover
-
Year
:
1998
₹
5886.0
14.0% OFF
₹
5061.0
5061.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View Details(Imported Edition) Estimated Shipping Time : 20-23 Business Days
View Details
-
Description
This is a report on the formal definition of the CafeOBJ algebraic specification language, which is a modern successor to the famous algebraic language OBJ. While the equational core of CafeOBJ is just a reshaping of OBJ, CafeOBJ significantly extends OBJ by incorporating several recent major developments in the area of algebraic specification, such as behavioural specification and rewriting logic.The definition of the language parallels its logical semantics based on the so-called institutions, which also provide a methodological framework for structuring the presentation of the basic constructs of the language and their semantics.This report presents all the basic constructs of the language together with their semantics and addresses both the programming in-the-small and in-the-large levels. However, it also discusses proof systems and technologies, as well as methodologies. Examples are provided throughout the report as intuitive support for the definitions of the constructs and for illustrating proof techniques and methodologies.
Related Items
-
of
-
OFFER
Human Development Report 2007/2008: Fighting Climate Change - Human Solidarity in a Divided World
United Nations Development Program
Starts At
4503.0
4691.0
4% OFF
-
OFFER
World Development Report 2012: Gender Equality and Development
World Bank
Starts At
1244.0
1638.0
24% OFF
-
OFFER
World Development Report: Conflict, Security, And Development
World Bank Group
Starts At
1244.0
1638.0
24% OFF
-
OFFER
World Disasters Report 2007: Focus on Discrimination (World Disasters Reports)
Yvonne Klynman
Starts At
1868.0
2559.0
27% OFF
-
OFFER
India Infrastructure Report 2008: Business Models of the Future
3i-Network
Starts At
391.0
495.0
21% OFF
-
OFFER
World Trade and Development Report 2007: Building a Development-Friendly World Trading System
Research and Information System for Developing Countries
Starts At
293.0
345.0
15% OFF
-
OFFER
Advanced Manual for Communication Laboratories and Technical Report Writing : For WBUT
D Sudha Rani
Starts At
211.0
230.0
8% OFF
-
OFFER
Social Watch India : Citizens Report on Governance and Development 2006
National Social Watch Coalition
Starts At
324.0
360.0
10% OFF
-
OFFER
Global Corruption Report 2007: Corruption in Judicial Systems (Transparency International Global Corruption Reports)
Transparency International
Starts At
2928.0
3615.0
19% OFF
-
OFFER
List of MAK and BAT Values 1997: Maximum Concentrations and Biological Tolerance Values at the Workplace. Report No. 33 (MAK & BAT Values)
Deutsche Forschungsgemeinschaft (DFG)
Starts At
3562.0
4687.0
24% OFF
-
OFFER
Organophosphorus Chemistry, Vol. 38 (Specialist Periodical Report)
J. C. Tebby
Starts At
27451.0
31920.0
14% OFF
-
OFFER
Human Development Report 2011: Sustainability and Equity: Towards a Better Future for All
United Nations Development Programme
Starts At
5821.0
6397.0
9% OFF
-
OFFER
Truth and Reconciliation Commission of South Africa Report
Truth and Reconcilation Commission of South Africa
Starts At
20591.0
29002.0
29% OFF
