Subject: Computer programming / software development - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

New Search Subject Computer programming / software development

261 - 270 of 871

261. Formal aspects of component software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers /: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers. (2016)

Editors:: (Computer scientist), Braga, Christiano; Ölveczky, Peter Csaba
Other Names:: FACS (Symposium), 12th
Record Type:: Book
Extent:: 1 online resource (x, 331 pages), color illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

262. Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. (2017)

Editors:: (Post doc researcher), Proença, José; Lumpe, Markus
Other Names:: FACS (Symposium), 14th
Record Type:: Book
Extent:: 1 online resource (x, 251 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

263. Formal aspects of component software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings /: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. (2018)

Editors:: Bae, Kyungmin; Ölveczky, Peter Csaba
Other Names:: FACS (Symposium), 15th
Record Type:: Book
Extent:: 1 online resource (xii, 297 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

264. Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /: foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. (2016)

Editors:: Ribeiro, Leila; Lecomte, Thierry
Other Names:: Brazilian Symposium on Formal Methods, 19th
Record Type:: Book
Extent:: 1 online resource (x, 253 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

265. Formal methods and software engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings. (2015)

Editors:: Butler, Michael, 1967-; Conchon, Sylvain; Zaïdi, Fatiha
Other Names:: International Conference on Formal Engineering Methods, 17th
Record Type:: Book
Extent:: 1 online resource (436 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)

266. Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. (2016)

Editors:: Ogata, Kazuhiro; Lawford, Mark; Liu, Shaoying
Record Type:: Book
Extent:: 1 online resource (486 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)

267. Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. (2017)

Editors:: Duan, Zhenhua; Ong, Luke
Other Names:: International Conference on Formal Engineering Methods, 19th
Record Type:: Book
Extent:: 1 online resource (xvii, 498 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

268. Formal methods and software engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. (2018)

Editors:: (Computer scientist), Sun, Jing; Sun, Meng
Other Names:: International Conference on Formal Engineering Methods, 20th
Record Type:: Book
Extent:: 1 online resource (xxii, 474 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

269. Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures. (2015)

Editors:: Bernardo, Marco; Johnsen, Einar Broch
Other Names:: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 15th
Record Type:: Book
Extent:: 1 online resource (vii, 211 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

270. Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures /: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures. (2016)

Editors:: Bernardo, Marco; De Nicola, Rocco; Hillston, J (Jane), 1963-
Other Names:: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 16th
Record Type:: Book
Extent:: 1 online resource (vii, 261 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)