Cantitate/Preț
Produs
Total produse
Vezi coșul
Formal Aspects of Component Software de Christiano Braga

Formal Aspects of Component Software: Lecture Notes in Computer Science, cartea 9539

Editat de Christiano Braga, Peter Csaba Ölveczky
en Limba Engleză Paperback – 30 ian 2016
This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niterói, Brazil, in October 2015.
The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 submissions. They areorganized in topical sections, namely quality of service to withstand faults,component-based software development through research on mathematical modelsfor components, composition and adaptation; rigorous approaches toverification, deployment, testing, and certification.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32441 lei

Preț vechi: 40551 lei
-20%

Puncte Express: 487

Carte tipărită la comandă

Livrare economică 19 septembrie-03 octombrie

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: 9783319289335
ISBN-10: 3319289330
Pagini: 344
Ilustrații: X, 331 p. 118 illus. in color.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.52 kg
Ediția:1st edition 2016
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

Quality of service to withstand faults.- Component-based software development through research on mathematical models for components.- Composition and adaptation.- Rigorous approaches to verification, deployment, testing, and certification.