Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Systems analysis & design

Buy Now

Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Paperback, 1995 ed.) Loot Price: R1,661

Discovery Miles 16 610

Repayment Terms: R156 pm x 12*

Add to cart

Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus,...

Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Paperback, 1995 ed.)

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

Series: Lecture Notes in Computer Science, 1019

(sign in to rate)

Loot Price R1,661 Discovery Miles 16 610 | Repayment Terms: R156 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1019
Release date:	November 1995
First published:	1995
Editors:	Ed Brinksma • W. Rance Cleaveland • Kim G. Larsen • Tiziana Margaria • Bernhard Steffen
Dimensions:	235 x 155 x 16mm (L x W x T)
Format:	Paperback
Pages:	298
Edition:	1995 ed.
ISBN-13:	978-3-540-60630-7
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General Books > Computing & IT > Computer software packages > Utilities & tools > General Promotions
LSN:	3-540-60630-0
Barcode:	9783540606307