Zur Seitenansicht
 

Titelaufnahme

Titel
Tools and algorithms for the construction and analysis of systems : 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings / Marsha Chechik, Jean-François Raskin (eds.)
HerausgeberChechik, Marsha In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Marsha Chechik ; Raskin, Jean-François In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Jean-François Raskin
KörperschaftTACAS <22., 2016, Eindhoven> In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach TACAS ; ETAPS <19., 2016, Eindhoven> In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach ETAPS
ErschienenBerlin : Springer, 2016
UmfangXIX, 961 Seiten : Illustrationen, Diagramme
SerieLecture notes in computer science ; 9636
SerieAdvanced research in computing and software science
SchlagwörterSoftwareentwicklung In Wikipedia suchen nach Softwareentwicklung / Systementwicklung In Wikipedia suchen nach Systementwicklung / Systemanalyse In Wikipedia suchen nach Systemanalyse / Programmverifikation In Wikipedia suchen nach Programmverifikation / Hardwareverifikation In Wikipedia suchen nach Hardwareverifikation / Model Checking In Wikipedia suchen nach Model Checking / Softwarespezifikation In Wikipedia suchen nach Softwarespezifikation
ISBN978-3-662-49673-2
ISBN3-662-49673-9
Links
Download Tools and algorithms for the construction and analysis of systems [1,46 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)