Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
SKU: 2820593
Price: 159.00 NZD
Availability: InStock

First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

Format:

Paperback / softback

Series:

Lecture Notes in Computer Science,

Show Hide Adult Content

$159.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.75 with Afterpay Learn more

6 weekly interest-free payments of $26.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 4-14 June using International Courier

Description

This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems.

Release date NZ

November 23rd, 1995

Audience

Professional & Vocational

Contributors

Edited by Bernhard Steffen
Edited by Ed. Brinksma
Edited by Kim G. Larsen
Edited by Tiziana Margaria
Edited by W. Rance Cleaveland

Illustrations

VII, 298 p.

Pages

298

Series

Lecture Notes in Computer Science,

Dimensions

156x234x16

ISBN-13

9783540606307

Product ID

2820593

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Tools and Algorithms for the Construction and Analysis of Systems

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*