Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, . (Lecture Notes in Computer Science (1055))

ISBN 10: 3540610421 ISBN 13: 9783540610427

Published by Springer, 1996

Language: English

Used Condition: Very Good Soft cover

Save for Later

From Bookstore Brengelman, Cincinnati, OH, U.S.A.

Seller rating 4 out of 5 stars

AbeBooks Seller since 27 April 1998

View this seller's items

View all copies of this book

Used - Soft cover

Price: � 3.86 Convert Currency

� 56.14 shipping from U.S.A. to United Kingdom Destination, rates & speeds

Quantity: 1 available

Add to basket

Save for Later

About this Item

Softcover. Seller Inventory # A61120

Contact seller

Report this item

Bibliographic Details

Title: Tools and Algorithms for the Construction ...

Publisher: Springer

Publication Date: 1996

Binding: Soft cover

Condition: Very Good

About this title

Synopsis:

This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.
The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.

"About this title" may belong to another edition of this title.

Store Description

Bookstore opened 1979.Four floors of books, posters and records. Answering machine other hours, I am the only person with access to this machine.e-mail any time.If you find a book listed that you wish to pick up at open shop, call or e-mail first, because listed books are not kept at shop.

Visit Seller's Storefront

Seller's business information

Bookstore Brengelman
OH, U.S.A.

Terms of Sale:

check, money order. expect sale completion within seven days. return within ten days. postage and handling: $4 first book, $2 each additional bookpost(assuming US address). priority mail available, additional charge will be given on request. non-US address, there is no longer international book surface.

Shipping Terms:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

Check Money Order Cash

Add to Wants

Items related to Tools and Algorithms for the Construction and Analysis...

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, . (Lecture Notes in Computer Science (1055))

Used - Soft cover

Seller's business information