Formal methods: foundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018 : proceedings

Formal methods: foundations and applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: SBMF (VerfasserIn), Springer International Publishing (Verlag)
Weitere Verfasser: Massoni, Tiago (HerausgeberIn), Mousavi, Mohammad Reza (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2018
Schriftenreihe:Lecture notes in computer science 11254
Schlagworte:
Konferenzschrift > Formale Methode > Verifikation > Softwaretest
Online Zugang:Inhaltstext
Inhaltsverzeichnis
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:X, 270 Seiten
Illustrationen
23.5 cm x 15.5 cm
ISBN:3030030431
3-030-03043-1
9783030030438
978-3-030-03043-8