Cantitate/Preț
Produs
Total produse
Vezi coșul
Software Engineering and Formal Methods de Dimitra Giannakopoulou

Software Engineering and Formal Methods: Lecture Notes in Computer Science, cartea 8702

Editat de Dimitra Giannakopoulou, Gwen Salaün
en Limba Engleză Paperback – 4 aug 2014
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.
The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32810 lei

Preț vechi: 41013 lei
-20%

Puncte Express: 492

Carte tipărită la comandă

Livrare economică 27 iulie-10 august

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: 9783319104300
ISBN-10: 3319104306
Pagini: 416
Ilustrații: XXII, 394 p. 85 illus.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.63 kg
Ediția:2014
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

Program Verification.- Testing.- Component-Based Systems.- Real-Time and Embedded Systems.- Model Checking and Automata Learning.- Tool Papers.- Program Correctness.- Adaptive and Multi-Agent Systems.