About Us
Contact Us
Privacy Policy
Cookie Usage
Add Your Store

More From Contributor

image missing
Species On The Edge
Of Survival
£10.04
A unique guide to 365 of the world's species on the IUCN, the International Union for Conservation of Nature, Red List. Selected by a group of experts at the IUCN this list profiles a wide variety of species from the official list of threatened plants & animals. ...
Archived Product
image missing
Specification For
Tunnelling
£40.50
The BTS

Specification for Tunnelling has become the standard industry document for tunnelling contracts, & forms

...
Archived Product
image missing
Specification Of
Software Systems
£55.25
Revised & updated,

Specification of Software Systems builds upon the original focus on software

Specification



...
Archived Product
image missing
Specifying Buildings
£27.75
Provides an overview of specifying, from selecting materials & products to writing the

Specification documents. This

...
Archived Product
image missing
Specifying Buildings
£23.39
Offers an insight into the

Specification process, from selecting materials & products to writing the





...
Archived Product

Specification And Verification Of Declarative Open Interaction Models

Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation.
RIP - This product is no longer available on our network. It was last seen on 01.01.2015

This page now acts as a permanent archive for this product. Add more information using the comments box below to ensure it can still be found by future generations.

Use our search facility to see if it is available from an alternative contributor.
  • Availability: Out Of Stock
  • Supplier: Pickabook
  • SKU: 9783642145377
Availability: In Stock
£47.59
computer science / edp Mathematics, Science, Technology & Medicine > Computer Science / EDP
Description Reviews / Comments Add New

Product Description

Addressing fundamental questions on modeling abstractions, this volume explores the integration & extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation.

Reviews/Comments

Add New

Intelligent Comparison

Oooops!
We couldn't find anything!
Perhaps this product's unique.... Or perhaps we are still looking for comparisons!
Click to bump this page and we'll hurry up.

Price History

Oooops!
We couldn't find any historical pricing!

Vouchers

No voucher codes found.
Do you know a voucher code for this product or supplier? Add it to Insights for others to use.

Facebook

Jargon Buster

Specification - A description of a product with the details of its attributes.
Extension - Something that is made bigger through adding to it, for example a conservatory extension on a house.
Formal - When something is carried out with high standards if etiquette.

Supplier Information

Pickabook
A UK based company founded in 1998. Offering exceptional value for money on a wide range of books including leather bound books and sticker books.

Over 5 million books in stock - all new
Discounts of upto 80 percent
Excellent customer service
Fast delivery
Page Updated: 2015-03-31 20:45:45

Community Generated Product Tags

Oh No! The productWIKI community hasn't generated any tags for this product yet!
Menu