Foundations of Software Science and Computational Structures

10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007,

By: Helmut Seidl (Editor)

Write A Review

Paperback | 9 March 2007

At a Glance

Paperback
400 Pages

Dimensions(cm)
23.39 x 15.6 x 2.08

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.

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 $0.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 Reference, Information & Interdisciplinary Subjects Research & Information Information theory Cybernetics & Systems Theory Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Programming & Scripting Languages Systems Analysis & Design

Mathematics Mathematical Foundation Mathematical Logic Artificial Intelligence

Formal foundations for aspects	p. 1
Sampled universality of timed automata	p. 2
Iterator types	p. 17
Types and effects for resource usage analysis	p. 32
The complexity of generalized satisfiability for linear temporal logic	p. 48
Formalising the [pi]-calculus using nominal logic	p. 63
The rewriting calculus as a combinatory reduction system	p. 78
Relational parametricity and separation logic	p. 93
Model-checking one-clock priced timed automata	p. 108
Approximating a behavioural pseudometric without discount for probabilistic systems	p. 123
Optimal strategy synthesis in stochastic muller games	p. 138
Generalized parity games	p. 153
Tree automata with memory, visibility and structural constraints	p. 168
Enriched [mu]-calculi module checking	p. 183
PDL with intersection and converse is 2EXP-complete	p. 198
Symbolic backwards-reachability analysis for higher-order pushdown systems	p. 213
A distribution law for CCS and a new congruence result for the [pi]-calculus	p. 228
On the expressiveness and complexity of ATL	p. 243
Polynomial constraints for sets with cardinality bounds	p. 258
A lower bound on Web services composition	p. 274
Logical characterizations of bisimulations for discrete probabilistic systems	p. 287
Semantic barbs and biorthogonality	p. 302
On the stability by union of reducibility candidates	p. 317
An effective algorithm for the membership problem for extended regular expressions	p. 332
Complexity results on balanced context-free languages	p. 346
Logical reasoning for higher-order functions with local state	p. 361
Table of Contents provided by Blackwell. All Rights Reserved.

Foundations of Software Science and Computational Structures

10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007,

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Nexus

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

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

AI in Business For Dummies

For Dummies (Business & Personal Finance)

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

The Challenge of the Future

What Should We Keep from Yesterday as We Rush into Tomorrow?

AI for Business

A Guide to AI Adoption

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

A Practitioner's Guide to Advancing Behavioral Health Care with Artificial Intelligence

Python Crash Course

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

Artificial Intelligence in Creative Industries

Psychological and Social Implications

Deep-Learning-Assisted Statistical Methods with Examples in R

Chapman & Hall/CRC Data Science Series

Decision Sciences in Bioinformatics

Theory and Practice

Musical Differences

Working with Conflict in the Music Industry

Musical Differences

Working with Conflict in the Music Industry

Science Ltd.

Research Enterprise in the Age of Machines

Science Ltd.

Research Enterprise in the Age of Machines

Agentic AI For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

This product is categorised by