Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Christel Baier, Cesare Tinelli, TACAS (21., 2015, London) et al.

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 2015, London, UK, April 11-18, 2015, Proceedings

Aufl. 2015

Berlin, Heidelberg: Springer Berlin Heidelberg, 2015

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 2015, London, UK, April 11-18, 2015, Proceedings

Involved 

Christel Baier (Herausgeber)
Cesare Tinelli (Herausgeber)
TACAS (21., 2015, London) (Herausgebendes Organ)
ETAPS (18., 2015, London) (Herausgebendes Organ)

Published

Berlin, Heidelberg: Springer Berlin Heidelberg
2015

Edition

Aufl. 2015

Extent

Online-Ressource

ISBN

978-3-662-46681-0

Country

Deutschland

Topic

Informatik

Subject

Softwareentwicklung, Systementwicklung, Systemanalyse, Programmverifikation, Hardwareverifikation, Model Checking, Softwarespezifikation, Kongress, London <2015>

DDC notation

005.12
004.21

Series

Lecture Notes in Computer Science

Other editions

Erscheint auch als Druck-Ausgabe: Tools and algorithms for the construction and analysis of systems : 21st international conference ; proceedings

Persistent identifier

urn:nbn:de:1111-20150331391 (URN)
10.1007/978-3-662-46681-0 (DOI)

Further information

Lizenzpflichtig

Record ID

1069108073
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal