About Us
Contact Us
Privacy Policy
Cookie Usage
Add Your Store

More From Contributor

Formal Methods and Testing
Formal Methods And
Testing
£42.29
This book constitutes the thoroughly refereed & peer-reviewed outcome of the Formal Methods & Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods & software testing. ...
Archived Product
image missing
Formal Methods In
Systems Biology
£32.29
The purpose of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008 was to identify techniques for the

Specification, development & verification of biological models. This book constitutes the refereed proceedings of the meeting.

...
Archived Product
image missing
Formal Modeling
£50.39
This Festschrift volume honors Carolyn Talcott, a leading researcher & mentor of international renown among computer scientists, on her 70th birthday.

Includes:: papers on such topics as actors & programming languages; cyberphysical systems & more.

...
Archived Product
image missing
Formal Ontology In
Information Systems
£67.50
Aims to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues & concrete applications. This book contains a range of areas, all of which are important to the development of formal ontologies. ...
Archived Product
Formal Semantics
Formal Semantics
£28.49
This is a collection of papers that have helped shaped the field of formal semantics in linguistics. It covers key central themes &

Includes:: an editorial introduction & extensive references. This should be a useful resource for students & scholars of semantics & the philosophy of language.

...
Archived Product

Formal Methods For Performance Evaluation

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.
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: 9783540724827
Availability: In Stock
£31.12
computer science / edp Mathematics, Science, Technology & Medicine > Computer Science / EDP
Description Reviews / Comments Add New

Product Description

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication & Software Systems, SFM 2007, held in Bertinoro, Italy in May/ June 2007. SFM 2007 was devoted to formal techniques for performance evaluation & covered several aspects of the field.

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

Computer - A programmable electronic machine which stores and manipulates data.
Set - a group of items usually related to one another. Some objects cannot function without the complete set of items.
Italy - a country in Europe.
Design - A drawing or styles that shows the look and functionality of something before its made.
Formal - When something is carried out with high standards if etiquette.
Performance - When someone is presenting a form of entertainment, also how well someone is doing within a role.

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