Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers - Tiziana Maragria

Instant online reading.
Don't wait for delivery!

Leveraging Applications of Formal Methods

First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

By: Tiziana Maragria (Editor), Bernhard Steffen (Editor)

Write A Review

Paperback | 3 November 2006

At a Glance

Paperback
216 Pages

Dimensions(cm)
23.39 x 15.6 x 1.17

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

Ships in 5 to 7 business days

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004.

The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

Industry Reviews

From the reviews:

"The practical applications of formal methods are increasing. This book contains the main proceedings of an international symposium on leveraging applications of formal methods (IsoLA). It consists of 12 papers. ... I find the papers highly informative; they exemplify ways to leverage applications of formal methods. I recommend that practitioners explore such applications." (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8), August, 2008)

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

RRP $32.99

$26.99

18%
OFF

The AI-Driven Leader : Harnessing AI to Make Faster, Smarter Decisions - Geoff Woods

$22.75

19%
OFF

Building Machine Learning Systems with a Feature Store : Batch, Real-Time, and LLM Systems - Jim Dowling

$55.75

26%
OFF

Life 3.0

Being Human in the Age of Artificial Intelligence

Paperback

RRP $26.99

$22.99

15%
OFF

Python Workout, Second Edition : 200 ten-minute exercises - Reuven Lerner

$96.99

13%
OFF

Interactive Storytelling

18th International Conference on Interactive Digital Storytelling, ICIDS 2025, Saint Julian, Malta, December 1-5, 2025, Proceedings, Part II

Paperback

$84.99

Humanâ"Computer Interaction and U.S. Law

Hardcover

RRP $179.95

$159.75

11%
OFF

Cultures of Programming

The Development of Programming Concepts and Methodologies

Hardcover

RRP $169.95

$151.75

11%
OFF

Humanâ"Computer Interaction and U.S. Law

Paperback

RRP $69.95

$66.75

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Paperback

$23.09

Interaction and coordination of tools for structured data	p. 1
Modelling coordination in biological systems	p. 9
A rule markup language and its application to UML	p. 26
Using XML transformations for enterprise architectures	p. 42
Classification and utilization of abstractions for optimization	p. 57
On the correctness of transformations in compiler back-ends	p. 74
Accurate theorem proving for program verification	p. 96
Designing safe, reliable systems using scade	p. 115
Decreasing maintenance costs by introducing formal analysis of real-time behavior in industrial settings	p. 130
Static timing analysis of real-time operating system code	p. 146
A case study in domain-customized model checking for real-time component software	p. 161
Models for contract conformance	p. 181
Table of Contents provided by Blackwell. All Rights Reserved.

Leveraging Applications of Formal Methods

First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

A Brief History of Information Networks from the Stone Age to AI

Creative Machines

AI, Art & Us

Genesis

Artificial Intelligence, Hope, and the Human Spirit

The Tech Coup

How to Save Democracy from Silicon Valley

New Beginnings

why change is so difficult and how to achieve it

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

The Shortest History of AI

Building Machine Learning Systems with a Feature Store

Batch, Real-Time, and LLM Systems

Python All-in-One For Dummies

3rd Edition

Life 3.0

Being Human in the Age of Artificial Intelligence

Python Workout, Second Edition

200 ten-minute exercises

Deep Learning Crash Course

Philosophy of Science for Machine Learning

Core Issues and New Perspectives

Machine Learning for Asset Managers

Elements in Quantitative Finance

Interactive Storytelling

18th International Conference on Interactive Digital Storytelling, ICIDS 2025, Saint Julian, Malta, December 1-5, 2025, Proceedings, Part II

Humanâ"Computer Interaction and U.S. Law

Cultures of Programming

The Development of Programming Concepts and Methodologies

Humanâ"Computer Interaction and U.S. Law

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

This product is categorised by