Cantitate/Preț
Produs
Total produse
Vezi coșul
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings de Einar Broch Johnsen

Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings: Lecture Notes in Computer Science, cartea 10886

Editat de Einar Broch Johnsen, Ina Schaefer
en Limba Engleză Paperback – 30 mai 2018
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32086 lei

Preț vechi: 40108 lei
-20%

Puncte Express: 481

Carte tipărită la comandă

Livrare economică 08-22 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783319929699
ISBN-10: 3319929690
Pagini: 280
Ilustrații: XIV, 303 p. 98 illus.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.45 kg
Ediția:1st ed. 2018
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Cham, Switzerland

Cuprins

Specification.- Concurrency.- Program analysis.- Model checking and runtime verification.- Applications.- Shape analysis and reuse.