Unifying Theories of Programming, , Unifying Theories of Programm

Book Categories

Authors

Retrospective and prospective for unifying theories of programming 1
Object-orientation in the UTP 18
CSP is a retract of CCS 38
A design-based model of reversible computation 63
An operational semantics in UTP for a language of reactive designs 84
Constructing property-oriented models for verification 85
A relational investigation of UTP designs and prescriptions 101
Unifying theories in ProofPower-Z 123
Termination of real-time programs : definitely, definitely not, or maybe 141
Hierarchical organisation of predicate-semantic models 155
Unifying probability 173
Pointers and records in the unifying theories of programming 200
Mechanising a unifying theory 217
Modal design algebra 236

Title: Unifying Theories of Programming

Manufacturer:

Steidl Publishing

Item Number: 9783540347507

Publication Date: June 2009

Number: 1

Product Description: Unifying Theories of Programming

Universal Product Code (UPC): 9783540347507

WonderClub Stock Keeping Unit (WSKU): 9783540347507

Rating: 3/5 based on 2 Reviews

Image Location: https://wonderclub.com/images/covers/75/07/9783540347507.jpg

Category: Media >> Books

Weight: 0.200 kg (0.44 lbs)

Width: 0.000 cm (0.00 inches)

Heigh : 0.000 cm (0.00 inches)

Depth: 0.000 cm (0.00 inches)

Date Added: August 25, 2020, Added By: Ross

Date Last Edited: August 25, 2020, Edited By: Ross

Price	Condition	Delivery	Seller	Action
$99.99	Digital	Arrives between May 8 - Jun 7 Login to your account for a direct download. Some files are emailed from Dropbox. Continent $0.00 - World $0.00	WonderClub (9296 total ratings)

Question Concerning Unifying Theories of Programming

Ask a Question about Unifying Theories of Programming

No Question found!

Read Reviews for Unifying Theories of Programming Write review

Dennis Dougherty

reviewed Unifying Theories of Programming on January 16, 2019

Unifying Theories of Programming

Unifying Theories of Programming Book

Book Categories

Authors

Steidl Publishing

Question Concerning Unifying Theories of Programming

Read Reviews for Unifying Theories of Programming Write review

Login

Complaints

Blog

Games

Digital Media

Souls

Obituary

Contact Us

FAQ

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

Add Unifying Theories of Programming, , Unifying Theories of Programming to the inventory that you are selling on WonderClub

Add Unifying Theories of Programming, , Unifying Theories of Programming to your collection on WonderClub

	Retrospective and prospective for unifying theories of programming	1
	Object-orientation in the UTP	18
	CSP is a retract of CCS	38
	A design-based model of reversible computation	63
	An operational semantics in UTP for a language of reactive designs	84
	Constructing property-oriented models for verification	85
	A relational investigation of UTP designs and prescriptions	101
	Unifying theories in ProofPower-Z	123
	Termination of real-time programs : definitely, definitely not, or maybe	141
	Hierarchical organisation of predicate-semantic models	155
	Unifying probability	173
	Pointers and records in the unifying theories of programming	200
	Mechanising a unifying theory	217
	Modal design algebra	236