My Wish Lists Login / Join

Integrated Formal Methods

6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings

By: Jim Davies (Editor), Jeremy Gibbons (Editor)

Write A Review

Paperback | 22 June 2007

At a Glance

Paperback
674 Pages

Dimensions(cm)
23.39 x 15.6 x 3.43

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Systems Analysis & Design Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Programming & Scripting Languages Mathematical Theory of Computation Compilers & Interpreters

Verifying temporal properties of CommUnity designs	p. 1
Precise scenarios - a customer-friendly foundation for formal specifications	p. 21
Automated verification of security policies in mobile code	p. 37
Slicing concurrent real-time system specications for verification	p. 54
Slotted-circus : a UTP-family of reactive theories	p. 75
Bug hunting with false negatives	p. 98
Behavioural specifications from class models	p. 118
Inheriting laws for processes with states	p. 138
Probabilistic timed behavior trees	p. 156
Guiding the correction of parameterized specifications	p. 176
Proving linearizability via non-atomic refinement	p. 195
Lifting general correctness into partial correctness is ok	p. 215
Verifying CSP-OZ-DC specifications with complex data types and timing parameters	p. 233
Modelling and verification of the LMAC protocol for wireless sensor networks	p. 253
Finding state solutions to temporal logic queries	p. 273
Qualitative probabilistic modelling in event-B	p. 293
Verifying smart card applications : an ASM approach	p. 313
Verification of probabilistic properties in HOL using the cumulative distribution function	p. 333
UTP semantics for Web services	p. 353
Combining mobility with state	p. 373
Algebraic approaches to formal analysis of the Mondex electronic purse system	p. 393
Capturing conflict and confusion in CSP	p. 413
A stepwise development process for reasoning about the reliability of real-time systems	p. 439
Decomposing integrated specifications for verification	p. 459
Validating Z specifications using the ProB animator and model checker	p. 480
Verification of multi-agent negotiations using the alloy analyzer	p. 501
Integrated static analysis for Linux device driver verification	p. 518
Integrating verification, testing, and learning for cryptographic protocols	p. 538
Translating FSP into LOTOS and networks of automata	p. 558
Common semantics for use cases and task models	p. 579
Unifying theories of objects	p. 599
Non-interference properties for data-type reduction of communicating systems	p. 619
Co-simulation of distributed embedded real-time control systems	p. 639
Table of Contents provided by Blackwell. All Rights Reserved.

Integrated Formal Methods

6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

MacBook Neo For Dummies

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Software Engineering Methods

A Design Thinking Based Approach

Python & AI For Dummies

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

ZX-Calculus for Quantum Circuits

A Diagrammatic Approach to Quantum Circuit Analysis and Optimization

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Swift

The Practical Guide

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Python All-in-One For Dummies

3rd Edition

The C Programming Language

Prentice Hall Software

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Making Things Happen : Theory in Practice

Mastering Project Management

Design Patterns

Elements of Reusable Object-Oriented Software

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Computer Coding Python Games for Kids

DK Help Your Kids With

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Confident Web Design

How to Design and Create Websites and Futureproof Your Career

Fundamentals of Python

3rd Edition - First Programs

This product is categorised by