Կազմի պատկեր

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Ցույց տալ այլ տարբերակներ (2)

computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification

Պահպանված է:
Մատենագիտական մանրամասներ
Այլ հեղինակներ: Russo, Alessandra (Խմբագիր), Schürr, Andy (Խմբագիր)
Ձևաչափ: Էլեկտրոնային Գրքի գլուխ
Լեզու:անգլերեն
Հրապարակվել է: Cham Springer Nature 2018
Շարք:Theoretical Computer Science and General Issues
Խորագրեր:
Computer science
computer software maintenance
computer software selection and evaluation
formal logic
formal methods
formal specification
programming languages
semantics
software engineering
specifications
verification
Առցանց հասանելիություն:DOAB: download the publication
DOAB: description of the publication
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
Search Result 1
Կազմի պատկեր

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Հրապարակվել է 2018
Link to Metadata
Էլեկտրոնային էլ․ գիրք

Պահել ցուցակում
Պահպանված է:
Ցույց տալ բոլոր տարբերակները (3)

Նմանատիպ նյութեր