Related Books
Language: en
Pages: 261
Pages: 261
Type: BOOK - Published: 2016-06-10 - Publisher: Springer
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer
Language: en
Pages: 574
Pages: 574
Type: BOOK - Published: 2019-10-08 - Publisher: Springer Nature
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of
Language: en
Pages: 301
Pages: 301
Type: BOOK - Published: 2020-11-03 - Publisher: Springer Nature
This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/Sep
Language: en
Pages: 247
Pages: 247
Type: BOOK - Published: 2018-06-13 - Publisher: Springer
This open access book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineerin
Language: en
Pages: 433
Pages: 433
Type: BOOK - Published: 2019-04-03 - Publisher: Springer
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Too