Formal Methods: Foundations and Applications de Simone Cavalheiro

Formal Methods: Foundations and Applications: Lecture Notes in Computer Science, cartea 10623

Name: Formal Methods: Foundations and Applications
Price: 391.22 RON
Availability: InStock
Author: Simone Cavalheiro
ISBN: 9783319708478

Editat de Simone Cavalheiro, José Fiadeiro

en Limba Engleză Paperback – 12 noi 2017

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.

The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.

The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 558^.53 lei
20%

Preț: 571^.88 lei
20%

Preț: 675^.83 lei
20%

Preț: 1020^.28 lei
20%

Preț: 620^.33 lei
20%

Preț: 560^.93 lei
20%

Preț: 633^.70 lei
20%

Preț: 678^.21 lei
20%

Preț: 1359^.66 lei
20%

Preț: 560^.93 lei
20%

Preț: 733^.68 lei
20%

Preț: 793^.92 lei
15%

Preț: 558^.12 lei
20%

Preț: 793^.92 lei
20%

Preț: 560^.93 lei
20%

Preț: 748^.63 lei
20%

Preț: 562^.49 lei
20%

Preț: 1246^.46 lei
20%

Preț: 449^.81 lei
20%

Preț: 556^.96 lei
20%

Preț: 562^.49 lei
20%

Preț: 851^.78 lei
20%

Preț: 313^.10 lei
18%

Preț: 945^.44 lei
20%

Preț: 314^.86 lei
20%

Preț: 560^.93 lei
20%

Preț: 313^.87 lei
20%

Preț: 1033^.45 lei
20%

Preț: 563^.29 lei
20%

Preț: 733^.68 lei
20%

Preț: 1137^.10 lei
20%

Preț: 735^.28 lei
20%

Preț: 1079^.23 lei
20%

Preț: 560^.11 lei
20%

Preț: 791^.54 lei
15%

Preț: 672^.87 lei
20%

Preț: 1032^.47 lei
20%

Preț: 617^.17 lei
20%

Preț: 1022^.15 lei
20%

Preț: 984^.64 lei
20%

Preț: 620^.33 lei
20%

Preț: 979^.25 lei
20%

Preț: 402^.28 lei
20%

Preț: 316^.28 lei
20%

Preț: 636^.06 lei
20%

Preț: 320^.24 lei
20%

Preț: 328^.94 lei

Preț: 391^.22 lei

Preț vechi: 489^.02 lei
-20%

Puncte Express: 587

Carte disponibilă

Livrare economică 19 iunie-03 iulie
Livrare express 05-11 iunie pentru 33^.92 lei

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.

Transport gratuit de la 400^.00 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: 9783319708478
ISBN-10: 3319708473
Pagini: 316
Ilustrații: X, 305 p. 101 illus.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.48 kg
Ediția:1st edition 2017
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland