A little wonder in every chapter. Find your next favourite read
bookorelle.A LITTLE WONDER IN EVERY CHAPTER
♡0Bag 0
Need a hand? Visit our FAQ →
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

€ 62,49

Tools and Algorithms for the Construction and Analysis of Systems — 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. An English-language digital edition by Erika Abraham (Editor); Klaus Havelund (Editor), available in PDF.

Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.

SKU: EBC-2480421 Category:

Description

About this book

Tools and Algorithms for the Construction and Analysis of Systems — 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. An English-language digital edition by Erika Abraham (Editor); Klaus Havelund (Editor), available in PDF.

Edition details

  • Author / contributors: Erika Abraham (Editor); Klaus Havelund (Editor)
  • Publisher: Springer Berlin Heidelberg
  • Publication date: March 21, 2014
  • Language: English
  • ISBNs: 9783642548611; 9783642548628
  • Digital formats: PDF

Additional information

Author

Erika Abraham (Editor); Klaus Havelund (Editor)
Publisher

Springer Berlin Heidelberg
Language

English
ISBN

9783642548611, 9783642548628
Format

PDF
Publication date

March 21, 2014
DRM

DRM-free edition available
Download format PDF (.pdf)

Reviews

There are no reviews yet.

Be the first to review “Tools and Algorithms for the Construction and Analysis of Systems”

Your email address will not be published. Required fields are marked *

Related products