Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
Author:
Publisher:
Total Pages: 624
Release: 2005
Genre: Computer software
ISBN:


Download Tools and Algorithms for the Construction and Analysis of Systems Book in PDF, Epub and Kindle


Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 624
Authors:
Categories: Computer software
Type: BOOK - Published: 2005 - Publisher:

GET EBOOK

Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 474
Authors: Dirk Beyer
Categories: Computers
Type: BOOK - Published: 2018-04-13 - Publisher: Springer

GET EBOOK

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Too
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 740
Authors: Orna Grumberg
Categories: Computers
Type: BOOK - Published: 2007-07-05 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 425
Authors: Armin Biere
Categories: Computers
Type: BOOK - Published: 2020-04-17 - Publisher: Springer Nature

GET EBOOK

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Sy
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 620
Authors: Axel Legay
Categories: Computers
Type: BOOK - Published: 2017-03-30 - Publisher: Springer

GET EBOOK

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis o