Enlarge

Tools and algorithms for the construction and analysis of systems : 21st international conference, TACAS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Publication Data

Title Tools and algorithms for the construction and analysis of systems : 21st international conference, TACAS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Contributors Christel Baier, C. Tinelli
Publisher Springer
Publication date 2015
Publication location Berlin
Language English

Topics

System design :: Congresses
System analysis :: Congresses
Computer software :: Development :: Congresses

Catalogue Data

OBNB ID GBB559486
ISBN 10 3662466805
ISBN 13 9783662466803
Type BibliographicResource, Book
Dewey Classification 005.12

ISBD

P1053 xviii, 725 pages
P1042 Includes bibliographical references and author index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Tools and algorithms for the construction and analysis of systems : 21st international conference, TACAS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS . ISBN 9783662466803. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.