Enlarge

Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013, 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 : 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Contributors Nir Piterman, Scott A. Smolka
Publisher Springer
Publication date 2013
Publication location Heidelberg
Language English

Topics

System design :: Congresses
System analysis :: Congresses

Catalogue Data

OBNB ID GBB338108
ISBN 10 3642367410
ISBN 13 9783642367410
Type BibliographicResource, Book
Dewey Classification 004.21

ISBD

P1053 xxiv, 646 pages
P1042 Includes bibliographical references and 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 : 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS . ISBN 9783642367410. Published by Springer in 2013. Publication and catalogue information, links to buy online and reader comments.