Lets Explore,

Cover of Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings(1217 Lecture Notes in Computer Science)

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings(1217 Lecture Notes in Computer Science)

(Paperback)

Ed Brinksma,

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

Published

1997

Reviews

0

Computing and Information Technology Computer hardware Utilities and tools

By: Ed Brinksma | Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG | Released: 20 Mar 1997

Ships within 12-14 days

Free Shipping in India

Print on Demand

International Edition

₹5106.00

₹5106.00

0% off

1

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.

More books by Ed Brinksma

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

Tools and Algorithms for the Construction and Analysis of Systems

Ed Brinksma

Cover of Lectures on Formal Methods and Performance Analysis

Lectures on Formal Methods and Performance Analysis

Joost-Pieter Katoen

₹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

Kim G. Larsen

Cover of Computer Aided Verification

Computer Aided Verification

Kim G. Larsen

Cover of The Dutch National Research Agenda in Perspective

The Dutch National Research Agenda in Perspective

Johan Bollen

₹6837.0₹4854.0

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

Tools and Algorithms for the Construction and Analysis of Systems

Ed Brinksma

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

Tools and Algorithms for the Construction and Analysis of Systems

Ed Brinksma

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

Tools and Algorithms for the Construction and Analysis of Systems

Ed Brinksma

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

Tools and Algorithms for the Construction and Analysis of Systems

Ed Brinksma

Cover of Lectures on Formal Methods and Performance Analysis

Lectures on Formal Methods and Performance Analysis

Joost-Pieter Katoen

Cover of Lectures on Formal Methods and Performance Analysis

Lectures on Formal Methods and Performance Analysis

Joost-Pieter Katoen

Similar Products

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

Tools and Algorithms for the Construction and Analysis of Systems

Ed Brinksma

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

Tools and Algorithms for the Construction and Analysis of Systems

Ed Brinksma

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

Tools and Algorithms for the Construction and Analysis of Systems

Ed Brinksma

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

Tools and Algorithms for the Construction and Analysis of Systems

Ed Brinksma

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

Tools and Algorithms for the Construction and Analysis of Systems

Lenore Zuck

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

Tools and Algorithms for the Construction and Analysis of Systems

Jens Palsberg

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

Tools and Algorithms for the Construction and Analysis of Systems

Jakob Rehof

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

Tools and Algorithms for the Construction and Analysis of Systems

Stefan Kowalewski

Vidya AI