Formal methods: foundations and applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 ; revised selected papers

Medientyp: Buch; Konferenzbericht

Titel: Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 ; revised selected papers

Beteiligte: Davies, Jim [Hrsg.]; Silva, Leila [Sonstige Person, Familie und Körperschaft]; Simao, Adenilso [Sonstige Person, Familie und Körperschaft]

Veranstaltung: Brazilian Symposium on Formal Methods

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

Umfang: VIII, 290 S.; graph. Darst; 24 cm

Sprache: Englisch

ISBN: 3642198287; 9783642198281

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

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

Schlagwörter: Formale Methode > Verifikation > Softwaretest > Laufzeit > Modelltransformation > Spezifikationstechnik > B-Methode

Entstehung:

Anmerkungen: Literaturangaben

Weitere Bestandsnachweise
0 : Lecture notes in computer science

Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 ; revised selected papers

Merkliste

Exemplare

Bereichsbibliothek DrePunct – Magazin

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Bereichsbibliothek DrePunct – Magazin