Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings

Formal methods and software engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: ICFEM (VerfasserIn)
Weitere Verfasser: Aït-Ameur, Yamine (HerausgeberIn), Qin, Shengchao (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham, Switzerland Springer 2019
Schriftenreihe:Lecture notes in computer science 11852
Schlagworte:
Software engineering > Formal methods (Computer science) > Konferenzschrift > Formale Methode
Online Zugang:Inhaltsverzeichnis
1850-9999
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:xxi, 528 pages
illustrations (black and white)
24 cm
ISBN:9783030324087
978-3-030-32408-7
3030324087
3-030-32408-7