Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 09209154
Price: 51.51 EUR
Availability: InStock
Author: Christel Baier
ISBN: 9783662466803

21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Christel Baier

Cesare Tinelli

Language

English

Book Paperback

Libristo code: 09209154

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2015

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms f... Full description

Libristo code: 09209154

125 b

51.51 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Critical Role: Vox Machina Origins III Msassyk

Paperback

13.90 €

Les grands arrêts de la Cour européenne des droits de l'homme

Book

60.28 €

Lineare Funktionen in der Berufsfachschule. Planung und Durchfuhrung einer Unterrichtsreihe Andreas Wolf

Paperback

42.64 €

Tuleproov Andrzej Sapkowski

Paperback

54.44 €

JUNJI ITO TERROR DESPEDAZADO 18 RELATOS TERRORIFICOS ITO

Paperback

18.04 €

Poétique de la dérive dans la littérature contemporaine Fontaine

Paperback

33.16 €

Egyptské pověsti Heda Bartíková

Hardback

8.76 €

Bir Söyle Iki Dinle

Paperback

14.11 €

Basic Idioms (Traditional Chinese): 03 Tongyong Pinyin Paperback B&w H y Xiao Phd

Paperback

30.84 €

Militer Pour La D croissance. Mathieu Arnaudet

Paperback

48.99 €

Soeur de charite au XIXe siecle, poeme HEBRARD-C

Paperback

14.00 €

Poeta Oriental Jesus Duharte

Hardback

27.82 €

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions. In addition, the book contains one invited contribution. The papers have been organized in topical sections on hybrid systems; program analysis; verification and abstraction; tool demonstrations; stochastic models; SAT and SMT; partial order reduction, bisimulation, and fairness; competition on software verification; parameter synthesis; program synthesis; program and runtime verification; temporal logic and automata and model checking.