Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
SKU: 22199387
Price: 149.99 AUD
Availability: InStock

20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Format:

Paperback / softback

Series:

Lecture Notes in Computer Science,

Show Hide Adult Content

$149.99

RRP:: ~~$181.95~~ save $31.96

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $37.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 11-21 June using International Courier

Description

This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions. In addition the book contains one invited contribution. The papers are organized in topical sections named: decision procedures and their application in analysis; complexity and termination analysis; modeling and model checking discrete systems; timed and hybrid systems; monitoring, fault detection and identification; competition on software verification; specifying and checking linear time properties; synthesis and learning; quantum and probabilistic systems; as well as tool demonstrations and case studies.

Release date Australia

March 11th, 2014

Audience

Professional & Vocational

Contributors

Edited by Erika Abraham
Edited by Klaus Havelund

Illustrations

142 Illustrations, black and white; XVIII, 652 p. 142 illus.

Pages

652

Series

Lecture Notes in Computer Science,

Dimensions

155x235x34

ISBN-13

9783642548611

Product ID

22199387

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Tools and Algorithms for the Construction and Analysis of Systems

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*