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

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

(Paperback)

Tiziana Margaria, Bernhard Steffen,

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Publisher)

Published
1996
Reviews
0
Computing and Information TechnologyOperating systems

Ships within 12-14 days

₹3396.00
₹5307.00
36% off
1
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.

More books by Tiziana Margaria, Bernhard Steffen

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Tiziana Margaria

₹8959.0₹5644.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria

₹16799.0₹7056.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Tiziana Margaria

₹8959.0₹5644.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Tiziana Margaria

₹9519.0₹5997.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Tiziana Margaria

₹9519.0₹5997.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Tiziana Margaria

₹7279.0₹4586.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Tiziana Margaria

₹7839.0₹4939.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Tiziana Margaria

₹7839.0₹4939.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Tiziana Margaria

₹7391.0₹4656.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Tiziana Margaria

₹8399.0₹5291.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria

₹7839.0₹4939.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation: Applications

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria

₹11199.0₹7055.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Tiziana Margaria

₹5599.0₹3583.0
Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

Tiziana Margaria

₹5599.0₹3583.0
Cover of Services and Visualization: Towards User-Friendly Design

Services and Visualization: Towards User-Friendly Design

Joachim Posegga

₹2835.0
Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Kim G. Larsen

₹2835.0
Cover of Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

Tiziana Margaria

₹5815.0

Similar Products

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tiziana Margaria

₹0.0
Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tiziana Margaria

₹6879.8
Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Margaria Tiziana Margaria

₹4323.15
Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Margaria Tiziana Margaria

₹4323.15
Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tiziana Margaria

₹2201.45
Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tiziana Margaria

₹11580.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Tiziana Margaria

₹5599.0₹3583.0
Cover of Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Margaria Tiziana Margaria

₹4323.15
Vidya AI