The item you selected is unavailable, but we found something similar.

Picture 1 of 1

Stock photo

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, J - Picture 1 of 1

Lecture Notes in Computer Science Ser.: Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings by Jeremy Gibbons (2007, Trade Paperback)

Be the first towrite a review.

grandeagleretail (919154)
98.2% positive feedback

Price:

$124.71

Free shipping

Estimated delivery Tue, May 28 - Fri, May 31

Returns:

30 days returns. Buyer pays for return shipping.

Condition:

Brand New

This book presents 32 revised full papers together with 1 invited paper that were reviewed and selected from 85 submissions. Health & Beauty. Author Jim Davies, Jeremy Gibbons.

About this product

Product Information

The design and analysis of computing systems presents a signi'cant challenge: systemsneedtobeunderstoodatmanydi'erentlevelsofabstraction,andex- ined from many di'erent perspectives. Formal methods--languages, tools, and techniqueswithasound,mathematicalbasis--canbeusedtodevelopathorough understanding and to support rigorous examination. Further research into e'ective integration is required if these methods are to have a signi'cant impact outside academia. The Integrated Formal Methods (IFM) series of conferences seeks to promote this research, to bring together the researcherscarryingit out, andto disseminate the resultsof this researchamong the wider academic and industrial community. Earlier meetings in the series were held at: York (1999); Dagstuhl (2000); Turku(2002);Kent(2004);Eindhoven(2005).IFM 2007wasthe largestto date, with32technicalpapers(from85submissions),3invitedtalks,3workshops,and atutorial.Thesuccessoftheseriesre'ectstheenthusiasmande'ortsoftheIFM community, and the organizers would liketothankthespeakers,thecommittee, and the reviewers for their contributions. April 2007 Jim Davies Jeremy Gibbons Organization Chair Jim Davies Co-chairs Jin Song Dong, Jeremy Gibbons, Judi Romijn, Wolfram Schulte Workshops and Tutorials Richard Paige Local Arrangements Jackie Jordan, James Welch Special Sessions Yifeng Chen, Eerke Boiten, Phil Brooke, John Derrick, Graeme Smith Programme Committee Didier Bert, Eerke Boiten, Jonathan Bowen, Phil Brooke, Michael Butler, Yifeng Chen, Paul Curzon, Jim Davies, John Derrick, Jin Song Dong, Steve Dunne, Andy Galloway, Chris George, Jeremy Gibbons, Wolfgang Grieskamp, Henri Habrias, Maritta Heisel, Soon-Kyeong Kim, Michel Lemoine, Shaoying Liu, Dominique Mery, Stephan Merz, Colin O'Halloran, Richard Paige, Luigia Petre, Jaco van de Pol, Judi Romijn, Thomas Santen, Steve Schneider, Wolfram Schulte, Kaisa Sere, Jane Sinclair, Graeme Smith, Bill Stoddart, Kenji Taguchi, Helen Treharne, Heike Wehrheim, Kirsten Winter, Jim Woodcock Additional Reviewers Pascal Andre, Christian Attiogb´ e, Pavel Avgustinov, Luis Barbosa,

Product Identifiers

Publisher
Springer Berlin / Heidelberg
ISBN-10
3540732098
ISBN-13
9783540732099
eBay Product ID (ePID)
61639776

Product Key Features

Author
Jeremy Gibbons
Publication Name
Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
Format
Trade Paperback
Language
English
Publication Year
2007
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
IX, 662 Pages

Dimensions

Item Length
9.3in
Item Width
6.1in
Item Weight
35.8 Oz

Additional Product Features

Series Volume Number
4591
Number of Volumes
1 Vol.
Lc Classification Number
Qa75.5-76.95
Table of Content
Verifying Temporal Properties of CommUnity Designs.- Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications.- Automated Verification of Security Policies in Mobile Code.- Slicing Concurrent Real-Time System Specifications for Verification.- Slotted-Circus.- Bug Hunting with False Negatives.- Behavioural Specifications from Class Models.- Inheriting Laws for Processes with States.- Probabilistic Timed Behavior Trees.- Guiding the Correction of Parameterized Specifications.- Proving Linearizability Via Non-atomic Refinement.- Lifting General Correctness into Partial Correctness is ok.- Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.- Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks.- Finding State Solutions to Temporal Logic Queries.- Qualitative Probabilistic Modelling in Event-B.- Verifying Smart Card Applications: An ASM Approach.- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function.- UTP Semantics for Web Services.- Combining Mobility with State.- Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System.- Capturing Conflict and Confusion in CSP.- A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems.- Decomposing Integrated Specifications for Verification.- Validating Z Specifications Using the ProB Animator and Model Checker.- Verification of Multi-agent Negotiations Using the Alloy Analyzer.- Integrated Static Analysis for Linux Device Driver Verification.- Integrating Verification, Testing, and Learning for Cryptographic Protocols.- Translating FSP into LOTOS and Networks of Automata.- Common Semantics for Use Cases and Task Models.- Unifying Theories of Objects.- Non-interferenceProperties for Data-Type Reduction of Communicating Systems.- Co-simulation of Distributed Embedded Real-Time Control Systems.
Copyright Date
2007
Topic
Software Development & Engineering / General, Computer Science, Compilers, Software Development & Engineering / Systems Analysis & Design
Intended Audience
Scholarly & Professional
Illustrated
Yes
Genre
Computers

Best Selling in Textbooks

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
4.6 out of 5 stars based on 15 product ratings
$35.70 New
$32.99 Used
Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)
5.0 out of 5 stars based on 14 product ratings
$29.99 New
---- Used
Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)
5.0 out of 5 stars based on 1 product rating
$19.98 New
$10.00 Used
Designing Data-Intensive Applications : The Big Ideas Behind Reliable, Scalable, and Maintainable Systems by Martin Kleppmann (2017, Trade Paperback)
4.9 out of 5 stars based on 17 product ratings
$18.24 New
$15.86 Used
Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)
4.2 out of 5 stars based on 5 product ratings
$20.98 New
$18.00 Used
Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)
5.0 out of 5 stars based on 4 product ratings
$19.80 New
$17.66 Used
Encyclopedia of Counseling : Master Review and Tutorial for the National Counselor Examination, State Counseling Exams, and the Counselor Preparation Comprehensive Examination by Howard Rosenthal (2017, Trade Paperback, Revised edition,New Edition)
4.9 out of 5 stars based on 17 product ratings
$22.99 New
$21.90 Used

Save on Textbooks

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new
$32.00
Trending at $42.48
NFPA 70 National Electrical Code NEC 2023 Edition Paperback USA with Tabs (NEW)
$29.99
Trending at $34.79
International Building Code IBC 2021 International Code Council Paperback
$49.99
Trending at $63.99
International Code Council Ser.: 2021 International Residential Code by...
$51.00
Trending at $68.00
National Electrical Code Handbook, 2023 Edition
$62.99
Trending at $69.00
National Electrical Code (NEC) NFPA 70 2020 Edition Spiral USA STOCK
$33.90
Trending at $36.40

Shop by category

Picture 1 of 1

Lecture Notes in Computer Science Ser.: Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings by Jeremy Gibbons (2007, Trade Paperback)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)

Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)

Designing Data-Intensive Applications : The Big Ideas Behind Reliable, Scalable, and Maintainable Systems by Martin Kleppmann (2017, Trade Paperback)

Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)

Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)

Encyclopedia of Counseling : Master Review and Tutorial for the National Counselor Examination, State Counseling Exams, and the Counselor Preparation Comprehensive Examination by Howard Rosenthal (2017, Trade Paperback, Revised edition,New Edition)

Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new

NFPA 70 National Electrical Code NEC 2023 Edition Paperback USA with Tabs (NEW)

International Building Code IBC 2021 International Code Council Paperback

International Code Council Ser.: 2021 International Residential Code by...

National Electrical Code Handbook, 2023 Edition

National Electrical Code (NEC) NFPA 70 2020 Edition Spiral USA STOCK

You may also like

Computer Science Paperback Textbooks

Kaplan Usmle Step 1 Lecture Notes

Science Fiction Fiction Trade Paperbacks Books

Nonfiction Methodism Paperbacks Books

Nonfiction Social Sciences Paperback Fiction & International Edition Books

Trade Paperbacks