Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Medien

Verfügbar in Frankfurt
Verfügbar in Frankfurt
Verfügbar in Leipzig
Verfügbar in Leipzig
Quelle
buchhandel.de

Christel Baier, Cesare Tinelli, TACAS (21., 2015, London) u. a.

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

Titel

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

Beteiligt

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

Erschienen

Berlin, Heidelberg: Springer Berlin Heidelberg
2015

Ausgabe

Aufl. 2015

Umfang

Online-Ressource

ISBN

978-3-662-46681-0

Land

Deutschland

Themen­gebiet

Informatik

Thema

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

DDC-Notation

005.12
004.21

Reihe

Lecture Notes in Computer Science

Andere Ausgaben

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)

Weitere Angaben

Lizenzpflichtig

Datensatz-ID

1069108073
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal