About Us
Contact Us
Privacy Policy
Cookie Usage
Add Your Store

More From Contributor

image missing
Formal Languages
And Compilation
£28.79
This comprehensive book covers the fundamental concepts of formal languages & compilation. It presents the subject in a minimalist way, using illustrated examples throughout & providing pedagogical tools, such as slides for lecturers via website. ...
Archived Product
image missing
Formal Logic
£16.47
Offers a text employing the tree method, a formal system of first-order logic. This book allows students to take control of the nuts & bolts of formal logic, & to move on to complex & abstract problems. The tree method is elaborated in steps over five chapters. ...
Archived Product
image missing
Formal Methods And
Software Engineering
£44.19
Constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. This book addresses various issues in formal methods & their applications in software engineering. It features sections on

Specification & verification, testing, & verification.

...
Archived Product
image missing
Formal Methods For
Performance Evaluation
£31.12
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. ...
Archived Product

Formal Methods And Testing

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing.
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: 9783540789161
Availability: In Stock
£42.29
application software Mathematics, Science, Technology & Medicine > Computer Science / EDP > Application Software
Description Reviews / Comments Add New

Product Description

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.

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

UK - United Kingdom - An island nation in Europe
Network - A link and communication between things. Often computers or people.
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