Tools and algorithms for the construction and analysis of systems: 17th international conference, TACAS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

Medientyp: Buch; Konferenzbericht

Titel: Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

Beteiligte: Abdulla, Parosh Aziz [Hrsg.]; Leino, K. Rustan M. [Sonstige Person, Familie und Körperschaft]

Veranstaltung: TACAS ETAPS

Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011

Umfang: XVI, 394 S.; graph. Darst; 235 mm x 155 mm

Sprache: Englisch

ISBN: 3642198341; 9783642198342

Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80044189

RVK-Notation: SS 4800 : Lecture notes in computer science

Schlagwörter: Softwareentwicklung > Systementwicklung > Verifikation
Theoretische Informatik
Programmiersprache

Entstehung:

Anmerkungen: Literaturangaben

Weitere Bestandsnachweise
0 : Lecture notes in computer science

Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

Merkliste

Exemplare

Bereichsbibliothek DrePunct – Magazin

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Bereichsbibliothek DrePunct – Magazin