Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Massoni, Tiago (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Mousavi, Mohammad Reza (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Programming and Software Engineering ; 11254
• Θέματα: Software engineering.; Programming languages (Electronic computers).; Computer programming.; Computer logic.; Mathematical logic.; Algorithms.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.
• Φυσική περιγραφή: X, 271 p. 52 illus. online resource.
• ISBN: 9783030030445
• DOI: 10.1007/978-3-030-03044-5

Chapter "TeSSLa: Temporal Stream-Based Specification Language" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.