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

Your cart is empty

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

Not currently available

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,396
Discovery Miles 13 960
Repayment Terms: R131 pm x 12*
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,396 Discovery Miles 13 960 | Repayment Terms: R131 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

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

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Systems Analysis And Design In A Changing World (Hardcover, 7th Edition): John Satzinger, Robert Jackson, Stephen D. Burd
Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
 R1,453 R1,378 Discovery Miles 13 780
Systems Analysis And Design (Hardcover, 12th Edition): Scott Tilley
Systems Analysis And Design
Scott Tilley Hardcover R1,462 R1,383 Discovery Miles 13 830
Distributed Systems - Concurrency and Consistency (Hardcover): Matthieu Perrin
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,848 Discovery Miles 18 480
Real-Time Systems Development (Paperback): Rob Williams
Real-Time Systems Development
Rob Williams Paperback R1,338 Discovery Miles 13 380
Axiomatic Design - Advances and Applications (Hardcover): Nam P Suh
Axiomatic Design - Advances and…
Nam P Suh Hardcover R6,062 Discovery Miles 60 620
Design Thinking for Tech - Solving Problems and Realizing Value in 24 Hours (Paperback): George Anderson
Design Thinking for Tech - Solving…
George Anderson Paperback R873 Discovery Miles 8 730
Cases on Lean Thinking Applications in Unconventional Systems (Hardcover): Eduardo Guilherme Satolo, Robisom Damasceno Calado
Cases on Lean Thinking Applications in…
Eduardo Guilherme Satolo, Robisom Damasceno Calado Hardcover R6,748 Discovery Miles 67 480
Implementing Data Analytics and Architectures for Next Generation Wireless Communications (Hardcover): Chintan Bhatt, Neeraj...
Implementing Data Analytics and…
Chintan Bhatt, Neeraj Kumar, … Hardcover R6,416 Discovery Miles 64 160
Handbook of Research on 5G Networks and Advancements in Computing, Electronics, and Electrical Engineering (Hardcover):...
Handbook of Research on 5G Networks and…
Augustine O Nwajana, Isibor Kennedy Ihianle Hardcover R8,644 Discovery Miles 86 440
Temporal Self-organization for Neural Networks (Hardcover): Neil Euliano
Temporal Self-organization for Neural…
Neil Euliano Hardcover R2,427 Discovery Miles 24 270
Version Control and Management in Computer-aided Design Databases (Hardcover): Rafi Ahmed
Version Control and Management in…
Rafi Ahmed Hardcover R2,418 Discovery Miles 24 180
Advances in Non-volatile Memory and Storage Technology (Paperback, 2nd edition): Yoshio Nishi, Blanka Magyari-Kope
Advances in Non-volatile Memory and…
Yoshio Nishi, Blanka Magyari-Kope Paperback R4,662 Discovery Miles 46 620

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners