Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFM…
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually durin…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-12429-7
- Collation
- xi, 350p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.11 Sof
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The fir…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-38800-3
- Collation
- xxviii, 524p.: Ill.
- Series Title
- Texts in Theoretical Computer Science. An EATCS Series
- Call Number
- 005.437 Rog f
Search Result
Found 2 from your keywords: Author : Cerone, Antonio
Query took 0.00072 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography