0
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 - Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings (Paperback, 1997 ed.) Loot Price: R1,705
Discovery Miles 17 050
Tools and Algorithms for the Construction and Analysis of Systems - Third International Workshop, TACAS'97, Enschede, The...

Tools and Algorithms for the Construction and Analysis of Systems - Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings (Paperback, 1997 ed.)

Ed Brinksma

Series: Lecture Notes in Computer Science, 1217

 (sign in to rate)
Loot Price R1,705 Discovery Miles 17 050 | Repayment Terms: R160 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.
The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 1217
Release date: 2001
First published: 1997
Editors: Ed Brinksma
Dimensions: 235 x 155 x 23mm (L x W x T)
Format: Paperback
Pages: 437
Edition: 1997 ed.
ISBN-13: 978-3-540-62790-6
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > Computer software packages > Utilities & tools > General
Promotions
LSN: 3-540-62790-1
Barcode: 9783540627906

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…
John Satzinger, Robert Jackson, … Hardcover  (1)
R1,308 R1,195 Discovery Miles 11 950
Systems Analysis And Design
Scott Tilley Hardcover R1,328 R1,209 Discovery Miles 12 090
Axiomatic Design - Advances and…
Nam P Suh Hardcover R6,348 Discovery Miles 63 480
Cases on Lean Thinking Applications in…
Eduardo Guilherme Satolo, Robisom Damasceno Calado Hardcover R6,498 Discovery Miles 64 980
Handbook of Research on 5G Networks and…
Augustine O Nwajana, Isibor Kennedy Ihianle Hardcover R8,638 Discovery Miles 86 380
Implementing Data Analytics and…
Chintan Bhatt, Neeraj Kumar, … Hardcover R6,432 Discovery Miles 64 320
Temporal Self-organization for Neural…
Neil Euliano Hardcover R2,256 Discovery Miles 22 560
Version Control and Management in…
Rafi Ahmed Hardcover R2,233 Discovery Miles 22 330
Systems Analysis and Design with UML 6e
Dennis Paperback R3,666 Discovery Miles 36 660
Clean Architecture - Tips and Tricks to…
William Vance Hardcover R621 R565 Discovery Miles 5 650
Data Science - Tips and Tricks to Learn…
William Vance Hardcover R638 R582 Discovery Miles 5 820
Towards Emerging Data Center…
Yang Hu Hardcover R2,233 Discovery Miles 22 330

See more

Partners